A verified runtime for a verified theorem prover

by Magnus O. Myreen , Jared Davis
Citations:10 - 5 self