GitHub repository: marcinwrochna/ProofNet-lean4
Primary language: TeX
Description: ProofNet dataset ported into Lean 4