phanerozoic/Coq-Velus download history
phanerozoic/Coq-Velus is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 26 times (8 in the last 7 days), and 244 times in total. It ranks #306,850 among datasets by monthly downloads.
Coq-Velus Structured declarations from Velus - a verified Lustre compiler for dataflow synchronous languages. Source: github.com/INRIA/velus. License: INRIA Non-Commercial. Source Repository: https://github.com/INRIA/velus Commit: 7e7157dc755422f2278ac2b880d4eb65ce2fb4