Datasetpublic

HaimingW/proofnet-lean4

sourceHugging Faceupdated 2y agoView on Hugging Face

0likes87downloads

2 commits on main

743078f2y ago

Upload dataset

HaimingW

37ebdc02y ago

initial commit

HaimingW