14 releases
| new 0.153.1 | Feb 20, 2025 |
|---|---|
| 0.153.0 | Feb 10, 2025 |
| 0.152.12 | Feb 7, 2025 |
| 0.152.11 | Jan 17, 2025 |
| 0.152.3 | Oct 31, 2024 |
#180 in Magic Beans
4,772 downloads per month
Used in proof-compression
265KB
7K
SLoC
CUDA implementation of the fflonk prover
Dependencies
~34MB
~525K SLoC