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

4 pointsby bneb-dev4 miesiące temu0 comments

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.

0 comments

—