Skip to content

Latest commit

 

History

History
22 lines (16 loc) · 1.09 KB

coq-install-win.md

File metadata and controls

22 lines (16 loc) · 1.09 KB

coq-install-windows

Installation from latest released packages

A binary installer for Windows is available at https://github.com/coq/coq/releases/latest. The Coq and CoqIDE can be installed following the usual way to install Windows applications.

Installation of Coq in a virtualized Linux

Some features of Coq are not yet supported under Windows. This includes the native compiler and parallel proof processing in CoqIDE. If you want to take advantage of these features, you can install GNU/Linux in a virtual machine and run CoqIDE from there.

Installation from Chocolatey

Chocolatey is a package manager for Windows. First, install Chocolatey following Installation of Chocolatey tutorial. Then Coq and CoqIDE can be installed as follows:

chocolatey install coq -y