phanerozoic/Coq-MetaCoq-QA download history
phanerozoic/Coq-MetaCoq-QA is a question answering dataset on the Hugging Face Hub. In the last 30 days it was downloaded 45 times (9 in the last 7 days), and 781 times in total. It ranks #200,643 among datasets by monthly downloads.
MetaCoq Q&A Dataset Dataset Description The MetaCoq Q&A Dataset is a conversational extension of the MetaCoq Dataset, derived from the MetaCoq formalization of Coq's meta-theory (https://github.com/MetaCoq/metacoq). This dataset transforms meta-theoretical content into structur