Datasetpublic

tbetton/validation-putnambench-rocq-lean

sourceHugging Faceupdated 10mo agoView on Hugging Face

0likes8downloads

2 commits on main

92e976b10mo ago

Upload dataset

tbetton

bd43b2410mo ago

initial commit

tbetton