13 releases
| 0.153.0 | Feb 10, 2025 |
|---|---|
| 0.152.12 | Feb 7, 2025 |
| 0.152.11 | Jan 17, 2025 |
| 0.152.10 | Dec 20, 2024 |
| 0.152.3 | Oct 31, 2024 |
#860 in Magic Beans
4,559 downloads per month
Used in proof-compression
265KB
7K
SLoC
CUDA implementation of the fflonk prover
Dependencies
~34MB
~519K SLoC