A verified runtime for a verified theorem prover

by Magnus O. Myreen , Jared Davis
Citations:13 - 7 self

Document Versions

A verified runtime for a verified theorem prover –Magnus O. Myreen, Jared Davis