Show HN: Autonomous Prover Running > 1hr(perqed.com) Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live. |
No comments yet
Show HN: Autonomous Prover Running > 1hr(perqed.com) Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live. |