kissat 4.0.4 fork emitting VeriPB 3.0 proofs natively — verified end-to-end via veripb 3.0.2 + cake_pb
-
Updated
Jul 22, 2026 - C
#
certified-proofs
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the certified-proofs topic, visit your repo's landing page and select "manage topics."