Dataset · Hugging Face

introspector/meta-coq-common

Name: meta-coq-common
Creator: introspector
License: mit
Keywords: license:mit, region:us

Author / organization	introspector
License (as declared)	mit
Downloads	568 (as reported by Hugging Face)
Likes	0
Created	12 February 2024
Last updated at source	15 February 2024

Embed this entry

<iframe src="https://silytics.si/embed/item/006180fc-2060-42a5-b673-6a5bbc9ce6a3" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 3 days

568 now (-47 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from introspector

introspector/ocaml-opam-ppxlib-json-astDataset
introspector/solfunmemeDataset
introspector/unimathDataset
introspector/meta-coq-utilsDataset
introspector/retro-syncDataset
introspector/o1js-clinicDataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.