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