Show HN: Autonomous Prover Running > 1hr (perqed.com)

4 points by bneb-dev 6mo ago ↗ HN

Hi, I am building an autonomous proof engine that is chasing its second result. Via GitHub gist, you can follow it live.