phanerozoic/Coq-UniMath-QA download history
phanerozoic/Coq-UniMath-QA is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 81 times (29 in the last 7 days), and 970 times in total. It ranks #132,316 among datasets by monthly downloads.
UniMath Q&A Dataset Dataset Description The UniMath Q&A Dataset is a conversational extension of the UniMath Dataset, derived from the UniMath formalization of mathematics (https://github.com/UniMath/UniMath). This dataset transforms Univalent Mathematics content into structure