sp1-hypercube 6.3.1

The SP1 Hypercube proof system
Documentation