A verified runtime for a verified theorem prover

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