phanerozoic/Coq-Elpi download history

phanerozoic/Coq-Elpi is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 36 times (2 in the last 7 days), and 213 times in total. It ranks #237,432 among datasets by monthly downloads.

Coq-Elpi Structured dataset from Coq-Elpi — Elpi-based extension language for Coq. Source Repository: https://github.com/LPCIC/coq-elpi Commit: b79963f31d89dc84e7092e9340e96d4b8ed3ac61 Files: 262 License: lgpl-2.1 Schema Column Type Description

Open phanerozoic/Coq-Elpi on Hugging Face

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