ACCOUNT LOGIN

Coq Beta

Install Coq Beta with winget

To install Coq Beta with winget, use the following command:

winget install --id=Coq.CoqPlatform.Beta -e
Get started today

Set up, deploy and upgrade all your devices from an intuitive, lightning-fast cloud platform.

FREE TRIAL

About Coq Beta

Coq is a formal proof management system.

Last updated 14 days ago

v8.14.0

Other apps by Coq Beta

Website

Download (.msi)

Publisher: Coq

Ready to find out more about Faronics? Let us know how to reach you.

We're here to help you in any way possible.