Datasetpublic

Epice67/coq_datasetV1

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes15downloads

2 commits on main

56b11d91y ago

Upload coq_dataset.json

Epice67

7852b981y ago

initial commit

Epice67