C

Install Coq with winget

Coq.CoqPlatform · The Coq Team

Install command

winget install -e --id Coq.CoqPlatform

About Coq

Coq is a formal proof management system.

Last updated: 1 years ago
Version: vBeta
Publisher: The Coq Team
Website: github.com
Source: winget-pkgs manifest
Download: Direct installer (.nullsoft)
License: CC0-1.0
Min OS: Windows 10+

Catalog refreshed: 5/28/2026

Versions

Betalatest

2025.1.0

8.14.1

8.13.2

2025.08.3