phanerozoic/Coq-ALEA download history

phanerozoic/Coq-ALEA is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 28 times (3 in the last 7 days), and 235 times in total. It ranks #289,218 among datasets by monthly downloads.

Coq-ALEA Structured dataset from ALEA — Reasoning on randomized algorithms. Source Repository: https://github.com/coq-community/alea Commit: 0cd68687229aaa26623c7092d4b40e9a812f17bc Files: 10 License: lgpl-2.1 Schema Column Type Description s

Open phanerozoic/Coq-ALEA on Hugging Face

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