Coq
by The Coq Team
Coq is a native app (—) that uses 10 detected dependencies across 2 categories including Compression, Other. It is not code-signed. 1881 MB on Windows (x64). Last updated June 21, 2026. Last verified June 2026.
What is Coq built with?
10 detected dependencies across 2 categories.
Compression
1Sign up to see Compression details
Sign Up FreeOther
9Sign up to see Other details
Sign Up FreeDot shows detection confidence; hover a technology for its evidence source. Higher confidence means a stronger extraction signal (e.g. a manifest entry vs. a binary string match).
Analyzed binary
SHA-256 of the exact binary Coq was analyzed from.
No signal
No signal — this field was not captured in the extraction on record. It is populated on re-extraction, not absent from the app.
How popular is Coq?
Popularity ranking based on install counts, store ratings, and community signals.
Sign up to see Detailed Popularity Data
Sign Up FreeWhen was Coq last updated?
20 tracked releases since May 2019.
Sign up to see Release History
Sign Up FreeLast verified June 21, 2026