4 ms·Milawa: A "self-verifying" theorem prover, sound down to its machine code3 points by joeyespo 15y ago