Show HN: Autonomous Prover Running > 1hr
https://perqed.com/minutiae/Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.
Related Stories
Loading related stories...
Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.