ACCOUNT LOGIN
- Deep Freeze Cloud
- Faronics Labs
- Faronics Deploy
Coq
Install Coq with winget
To install Coq with winget, use the following command:
winget install --id=Coq.CoqPlatform -e
Get started today
Set up, deploy and upgrade all your devices from an intuitive, lightning-fast cloud platform.
FREE TRIALAbout Coq
Coq is a formal proof management system.
Last updated 14 days ago
v8.14.1
Other apps by Coq
Website
Download (.msi)
Publisher: The Coq Team
Ready to find out more about Faronics? Let us know how to reach you.
We're here to help you in any way possible.
your Deep Freeze license count and free for up to 3 years