phanerozoic/Coq-Flocq download history
phanerozoic/Coq-Flocq 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 325 times in total. It ranks #237,432 among datasets by monthly downloads.
Coq-Flocq Structured dataset from Flocq — Floating-point formalization. Source Repository: https://gitlab.inria.fr/flocq/flocq Commit: 7aab8f55bceec0cfafc3b3bc0e77e0dbb5a70c5f Files: 43 License: lgpl-3.0 Schema Column Type Description stateme