Datasetpublic

UDACA/proofnet-v2-lean4

ProofNet Lean4 v2 A Lean 4 version of the ProofNet dataset.We provide two splits: validation and test. Adds a nl_statement field which is a cleaned version of the original informal_prefix.

sourceHugging Faceupdated 2y agoView on Hugging Face

1likes59downloads

root

dirdata/

file.gitattributes2 KBdownload

fileREADME.md206 Bdownload

UDACA/proofnet-v2-lean4 · main · files are served by the source, never re-hosted here