Desktop Insights
  • Apps
  • Tech
  • Statistics
  • Documentation
  • Pricing
Sign InSign Up
Home/Apps/Coq
C

Coq

by The Coq Team

NotableWindowsnativev2025.08.3
Available onGitHubwingetChocolatey
Runtime
native
Size
1881 MB
Architecture
x64
Dependencies
12
3 categories

Coq is a native app (v2025.08.3) that uses 12 detected dependencies across 3 categories including UI Framework, Compression, Other. It is not code-signed. 1881 MB on Windows (x64). Last verified May 2026.

What is Coq built with?

12 detected dependencies across 3 categories.

UI Framework

1
GTK

Sign up to see UI Framework details

Sign Up Free

Compression

2
zlibbzip2

Sign up to see Compression details

Sign Up Free

Other

9
GLibCairoPangoPixmanlibpnglibxml2FreeTypeHarfBuzzLZMA SDK

Sign up to see Other details

Sign Up Free

How popular is Coq?

Popularity ranking based on install counts, store ratings, and community signals.

Popularity Tier
Ranked across all Windows apps
Notable

Popularity Score

42
42
Adoption
0
Mindshare
0
Store Rank

Sign up to see Detailed Popularity Data

Sign Up Free

When was Coq last updated?

1 tracked releases since April 2026.

Latest: unknown
April 14, 2026

Last verified May 25, 2026

Get version history, dependency trees, and scores via API
Desktop Insights

The only technographics platform for desktop software. See the SDKs, frameworks, and dependencies inside thousands of macOS and Windows applications.

© Copyright 2026 Desktop Insights. All Rights Reserved.

About
  • About
  • Blog
  • Contact
  • Twitter / X
Product
  • Statistics
  • Documentation
  • MCP Server
  • Smithery
  • Glama
Legal
  • Terms of Service
  • Privacy Policy
  • Cookie Policy