Efficient, Verified Checking of Propositional Proofs.

Marijn Heule, Warren A. Hunt Jr., Matt Kaufmann, Nathan Wetzler

Browse the full ITP paper archive.