4 ms·Milawa is a "self-verifying" theorem prover for an ACL2-like logic2 points by deterministic 2y agoRochus 2y ago(2009)