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.