C
Coq Proof Assistant v8.20.1
by INRIA
NichemacOSnativev8.20.1
Runtime
native
Size
2628 MB
Architecture
Apple Silicon
Dependencies
5
1 categories
Security
Excellent
Signed, notarized, hardened
Coq 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 FreeSecurity and privacy
Code signing, notarization, and entitlement analysis for Coq Proof Assistant v8.20.1.
Code Signing
ExcellentSigned
Notarized
Hardened Runtime
Developer ID Application: INRIA (G7J8NYU3HT)
How popular is Coq Proof Assistant v8.20.1?
Popularity ranking based on install counts, store ratings, and community signals.
Popularity Tier
Ranked across all macOS apps
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.
Latest: v8.20.1
May 18, 2026
Last verified May 18, 2026