Milawa is a "self-verifying" theorem prover for an ACL2-like logiccs.utexas.edu2 points·deterministic··1 commentOpen articleSaveView on HN