• Apps
  • Tech
  • Blog
  • Documentation
  • Pricing
  • Statistics
  • FAQ
Sign InSign Up
Home/Apps/Coq Proof Assistant v8.20.1
C

Coq Proof Assistant v8.20.1

by INRIA

macOSnativev8.20.1
Runtime
native
Size
2627 MB
Architecture
Apple Silicon
Dependencies
0
Security
Excellent
Signed, notarized, hardened

Coq Proof Assistant v8.20.1 is a native app (v8.20.1) that uses 0 detected dependencies. It is code-signed and notarized. 2627 MB on macOS (Apple Silicon). Last verified March 2026.

Security and privacy

Code signing, notarization, and entitlement analysis for Coq Proof Assistant v8.20.1.

Code Signing

Excellent
Signed
Notarized
Hardened Runtime

Developer ID Application: INRIA (G7J8NYU3HT)

Last verified March 31, 2026

Get version history, dependency trees, and scores via API

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
  • X
Product
  • Statistics
  • Documentation
Legal
  • Terms of Service
  • Privacy Policy
  • Cookie Policy