Milawa is a "self-verifying" theorem prover for an ACL2-like logiccs.utexas.edu2 pointsdeterministic2 years ago