Goedel-Prover-v2: The strongest open-source theorem prover to date (blog.goedel-prover.com) 1 points by cristoperb 11mo ago ↗ HN
0 comments
[ 3.2 ms ] story [ 11.6 ms ] threadNo comments yet.