Coq

Coq is an interactive theorem prover.

About

Coq is a mathematical theorem prover which mechanically checks proofs of expressions of mathematical assertions.

Publisher

Coq Development Team

Release Year

2019

Version

8.9.1


Using This Software

WPI Devices

Personal Devices


Install

Who can Install This software?

WPI-Provisioned Machines: IT Manages the installation of this software.

Personal Machines: Users can install this software directly to their machines.

Requirements

Users must have an active WPI Account to access this software on WPI Machines.

Requesting This software

WPI-Provisioned Machines: Users should request installation of this software through ITS.

WPI Info
What is your Affiliation with WPI?

Include details such as which device(s), your location (on or off campus), how long the issue has been ocurring.