Show HN: Autonomous Prover Running > 1hr Posted by bneb-dev on Monday March 16, 2026 @08:56PM from the show-hn dept. 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. ( no comments | 2 points | on HN )
There are no comments yet.