1 unstable release
Uses new Rust 2024
new 0.1.0 | Mar 14, 2025 |
---|
#27 in #verifier
79 downloads per month
4KB
Lynx test verifier
Dependencies
~2.4–3.5MB
~71K SLoC
Uses new Rust 2024
new 0.1.0 | Mar 14, 2025 |
---|
#27 in #verifier
79 downloads per month
4KB
Lynx test verifier
~2.4–3.5MB
~71K SLoC