Grabware

Your download of The Coq proof assistant is starting

Starting in 3…

Download now

From coq.inria.fr — the developer's official site. Grabware doesn't host, re-package or modify files.

← Back to The Coq proof assistant

How to install The Coq proof assistant

  1. Click Download — the developer's official website opens in a new tab.
  2. Download the latest version there and run it. Choose Custom/Advanced where offered, and skip any bundled extras.
  3. Prefer the command line? With Chocolatey you can install and update it with: choco install the-coq-proof-assistant
  4. Open The Coq proof assistant once it finishes installing.

People also download

Adobe Acrobat Reader DCView, print, sign, and annotate PDF files.Google ChromeChrome is a fast, simple, and secure web browser, built for the modern web. ### Notes - This package uses Chrome's administrative MSI installer and installs…ChocolateyChocolatey is the package manager for Windows (like apt-get but for Windows)Chocolatey Core ExtensionsHelper functions extending core choco functionalityMarch 2014 servicing stack update for Windows 8.1 and Windows Server 2012 R2 (KB2919442)The update fixes some issues in the servicing stack of Windows 8.1 and Windows Server 2012 R2.Chocolatey Compatibility ExtensionExtension package to provide compatibility with older versions of Chocolatey