Rare find

nanoproof. Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

github.com/Kripner/nanoproof
by @Kripner

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.