ProofNet dataset ported into Lean 4
Primary LanguageTeXMIT LicenseMIT
No issues in this repository yet.