Skeptik

Skeptik: A Proof Compression System. This paper introduces Skeptik: a system for checking, compressing and improving proofs obtained by SAT- and SMT-solvers.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element