A verified runtime for a verified theorem prover

by Magnus O. Myreen , Jared Davis
Citations:14 - 8 self