Coq

by Coqv2025.08.2

Coq.CoqPlatform

Last updated Apr 28, 2026

Coq is a formal proof management system.

Install with winget

$ winget install --id Coq.CoqPlatform --exact --version 2025.08.2

Run in Command Prompt, PowerShell, or Windows Terminal. Prompts for any agreements.

Stop chasing app updates. Pckgr patches them for you.

Automated application patching for Microsoft Intune. Pckgr keeps a curated library of 1,000+ apps continuously up-to-date in your tenant via Microsoft Graph — no manual repackaging, no chasing vendor sites.

See Pckgr's app library

About

The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.

Installers · v2025.08.2

Architecture	Type	Scope	Install	Download
x64	nullsoft	machine		Direct

Copy a command tailored to that specific architecture, type, and scope - useful when winget would otherwise pick a different default.

Related apps

Coq BetaCoq
Coq.CoqPlatform.Betav2025.08.3
Coq is a formal proof management system.

Frequently asked questions

How do I install Coq on Windows?

Open Windows Terminal, PowerShell, or Command Prompt and run: winget install --id Coq.CoqPlatform --exact --version 2025.08.2. winget downloads the installer from Coq and runs it. Requires Windows 10 (1809+) or Windows 11.

How do I install Coq silently for unattended deployment?

Add --silent and accept the agreements upfront: winget install --id Coq.CoqPlatform --exact 2025.08.2 --silent --accept-package-agreements --accept-source-agreements. This is the variant Intune, Configuration Manager, and other deployment tools should use.

How do I uninstall Coq via winget?

Run: winget uninstall --id Coq.CoqPlatform --exact. Add --silent for unattended uninstalls. winget will use the registered uninstaller from Coq's Apps & Features entry.

Is Coq free?

Coq is distributed under Creative Commons Zero v1.0 Universal. Refer to the publisher (https://github.com/coq/platform) for the full license terms - Wingetly itself does not charge for installation.

Does Coq work on Windows 10?

Yes, as long as your Windows 10 build supports winget (1809 or newer). winget ships with App Installer on Windows 10/11 and pulls Coq directly from the publisher.

How do I keep Coq up to date?

Run winget upgrade --id Coq.CoqPlatform --exact, or winget upgrade --all to update everything winget tracks. We index 4 versions of Coq from microsoft/winget-pkgs.

Recent versions

2025.08.2latest
2025.1.0
8.14.1
8.13.2