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