7 releases
0.1.2 | Sep 26, 2024 |
---|---|
0.1.0 | Sep 13, 2024 |
0.0.8 | Aug 19, 2024 |
0.0.6 | Jul 30, 2024 |
#905 in Magic Beans
425 downloads per month
Used in swiftness
43KB
1K
SLoC
Swiftness Proof Parser CairoVM Verifier
Dependencies
~10MB
~177K SLoC