Coq Proof Assistant v8.20.1
by INRIA
Sign up to see Company Intelligence
Sign Up FreeCoq Proof Assistant v8.20.1 is a native app (v8.20.1) that uses 5 detected dependencies across 1 categories including Other. It is code-signed and notarized. 2628 MB on macOS (Apple Silicon). Last verified May 2026.
What is Coq Proof Assistant v8.20.1 built with?
5 detected dependencies across 1 categories.
Other
5Sign 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 Proof Assistant v8.20.1 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.
Security and privacy
Code signing, notarization, and entitlement analysis for Coq Proof Assistant v8.20.1.
Code Signing
ExcellentDeveloper ID Application: INRIA (G7J8NYU3HT)
How popular is Coq Proof Assistant v8.20.1?
Popularity ranking based on install counts, store ratings, and community signals.
Sign up to see Detailed Popularity Data
Sign Up FreeWhen was Coq Proof Assistant v8.20.1 last updated?
1 tracked releases since May 2026.
Last verified May 18, 2026