C
Coq
by The Coq Team
NotableWindowsnative—
Available onGitHubwingetChocolatey
Runtime
native
Size
1881 MB
Architecture
x64
Dependencies
10
1 categories
Last Updated
Aug 5, 2026
Coq is a native app (—) that uses 10 detected dependencies across 1 categories including Compression. It is not code-signed. 1881 MB on Windows (x64). Last updated August 5, 2026. Last verified August 2026.
What is Coq built with?
10 detected dependencies across 1 categories.
Compression
1Sign up to see Compression 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.
SHA-256
7077b3d321a9468590815ff7710748f2021a94932ad0438b2f98599da54ed552How popular is Coq?
Popularity ranking based on install counts, store ratings, and community signals.
Popularity Tier
Ranked across all Windows apps
Sign up to see Detailed Popularity Data
Sign Up FreeWhen was Coq last updated?
20 tracked releases since May 2019.
Latest: —
August 5, 2026
Sign up to see Release History
Sign Up FreeLast verified August 5, 2026