sp1-hypercube 6.5.0

The SP1 Hypercube proof system
Documentation