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