Overview
About Coq
Coq is a current Windows application available through the WinGet community catalog. 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.
Original source pageVersion 8.14.1
What’s new
- Current WinGet catalog version: 8.14.1
Compatibility
System requirements
- Windows 10 or Windows 11
- WinGet or the publisher installer
Comments
No comments yet. Be the first to comment.