phanerozoic/Coq-HoTT-QA download history

phanerozoic/Coq-HoTT-QA is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (13 in the last 7 days), and 1,054 times in total. It ranks #182,934 among datasets by monthly downloads.

Coq-HoTT Q&A Dataset Dataset Description The Coq-HoTT Q&A Dataset is a conversational extension of the Coq-HoTT Dataset, derived directly from the Coq-HoTT GitHub repository (https://github.com/HoTT/Coq-HoTT). This dataset transforms Homotopy Type Theory (HoTT) content into str

Open phanerozoic/Coq-HoTT-QA on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.