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