phanerozoic/Coq-HoTT download history

phanerozoic/Coq-HoTT is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 49 times (6 in the last 7 days), and 1,092 times in total. It ranks #188,270 among datasets by monthly downloads.

Coq-HoTT Structured dataset of formalizations from the Coq-HoTT library (Homotopy Type Theory in Coq). Source Repository: https://github.com/HoTT/Coq-HoTT Commit: b75eadc7cb2bc59dca415bf47662a9290f82dc5f Files: 589 License: bsd-2-clause Schema Col

Open phanerozoic/Coq-HoTT on Hugging Face

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