sp1-hypercube 6.2.3

The SP1 Hypercube proof system
Documentation