The Proof Checkers Pacheck and Pastque for the Practical Algebraic Calculus.

Daniela Kaufmann, Mathias Fleury, Armin Biere

Browse the full FMCAD paper archive.