ProofNet. Port of the ProofNet formal theorem proving benchmark to Lean 4.27.0

github.com/Kripner/ProofNet
by @Kripner

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.