rahul3613/ProofNet-lean4

ProofNet dataset ported into Lean 4

语言：TeX · GitHub 星标：31 · Fork：10

在 GitHub 上查看原仓库