8 releases
new 0.152.8 | Nov 22, 2024 |
---|---|
0.152.7 | Nov 20, 2024 |
0.152.3 | Oct 31, 2024 |
#204 in Magic Beans
1,172 downloads per month
Used in proof-compression
255KB
7K
SLoC
CUDA implementation of the fflonk prover
Dependencies
~34MB
~510K SLoC