sp1-hypercube 6.0.2

The SP1 Hypercube proof system
Documentation