Back to Results
First PageMeta Content
Software / Automated theorem proving / Theoretical computer science / Formal methods / TPTP / Proof assistant / Frama-C / Theorem prover / E theorem prover / Theorem / Isabelle


Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria
Add to Reading List

Document Date: 2017-08-08 03:28:45


Open Document

File Size: 194,64 KB

Share Result on Facebook
UPDATE