Coq

by The Coq Teamv2025.08.3

Last updated Jun 8, 2026

Coq is a formal proof management system.

Install with winget

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

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

Silent install command for Coq

Coq uses EXE (NSIS). The silent install switches are /S.

One-line silent install (x64, machine scope)

signed_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /S

See the full silent install reference for Coq →

Built by Pckgr

For Intune admins

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.

Start free 30-day trial

No credit card required.

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.3

Architecture	Type	Scope	Install	Download
x64	EXE NSIS	machine		Direct

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

Security

No known CVEs for Coq.

Coverage is best-effort and depends on a winget package mapping to an NVD CPE entry. Absence here is not a guarantee of safety.

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.3. winget downloads the installer from The Coq Team 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.3 --silent --accept-package-agreements --accept-source-agreements. This is the variant Intune, Configuration Manager, and other deployment tools should use.

What are the silent install switches for Coq?

Coq uses EXE (NSIS). Run the downloaded installer with: signed_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /S. The silent switches are /S.

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 CC0-1.0. 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 5 versions of Coq from microsoft/winget-pkgs.

Recent versions

2025.08.3latest
2025.08.2
2025.1.0
8.14.1
8.13.2