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