DMCA

Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs

by Richard Bonichon , David Delahaye , Damien Doligez
Citations:30 - 11 self