Datasetpublic

charliemeyer2000/leandojo_benchmark_lean4_17_0

sourceHugging Faceupdated 1y agoView on Hugging Face

3likes22downloads

4 commits on main

c248e041y ago

Upload dataset

charliemeyer2000

2ffaecb1y ago

Upload dataset

charliemeyer2000

956d8c51y ago

Upload dataset

charliemeyer2000

ee45d651y ago

initial commit

charliemeyer2000