Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs

Cached

Download Links

by Richard Bonichon , David Delahaye , Damien Doligez
Citations:16 - 4 self