3 ms·Show HN: Autonomous Prover Running > 1hr4 points by bneb-dev 7mo agoHi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.