Show HN: Autonomous Prover Running > 1hrperqed.com4 points·bneb-dev··0 commentsHi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.Open articleSaveView on HN