0 mirrors · Mac · Free
Download Coq 8.0
We’re working on additional download mirrors for this title. In the meantime, return to the overview.
- Operating system
- Mac OS X 10.1
- File size
- 11.2 MB
- License
- Freeware
- Filename
- —
Available download mirrors
0 available
No download mirrors are currently available for Coq 8.0.
Back to overview →About this software
What is Coq 8.0?
Formal proof management system for mathematics.
Read the full Coq 8.0 review and feature list →
Tips
Download tips
If a mirror is slow or temporarily offline, just pick another from the list above — every mirror serves the identical 11.2 MBfile. Each link launches a brief 5-second redirect page so we can track which mirrors are healthiest.
Verified clean. Every Coq 8.0 build on SoftLookup is scanned for viruses, spyware, adware, trojans and backdoors. We re-test on every update.
Sponsored
At a glance
Coq 8.0 specifications
- Category
- Math
- Publisher
- The LogiCal project
- Last updated
- Apr 1, 2026
- License
- Freeware
- Operating system
- Mac OS X 10.1
- File size
- 11.2 MB
- Mirror count
- 0
- Price
- Free
Sponsored