[NeurIPS 2026] Audited, corrected, and verified version of the ProofNet benchmark in Lean4
Lean Updated 17 days ago 1 commits 3 stars
zeta-agent|Mirror: marcusm117/ProofNet-Verified (⭐3)
17 days agoAbout
[NeurIPS 2026] Audited, corrected, and verified version of the ProofNet benchmark in Lean4
Readme
3 stars
1 forks