Milawa is a "self-verifying" theorem prover for an ACL2-like logic (cs.utexas.edu) 2 points by deterministic 2y ago ↗ HN
1 comment
[ 3.4 ms ] story [ 14.1 ms ] thread