1 unstable release

Uses new Rust 2024

new 0.1.0 Mar 14, 2025

#27 in #verifier

Download history 78/week @ 2025-03-09

79 downloads per month

MIT/Apache

4KB


Lynx test verifier

Dependencies

~2.4–3.5MB
~71K SLoC