3 ms·The Milawa theorem prover is sound, down to the machine code that runs it (2015) [pdf]2 points by luu 7y ago