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

Dataset Card

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.