About

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

Using This Software

For use on WPI Devices
For use on Personal Devices
Available through Software Center

Install

Who can Install this Software?

Users with WPI-Provisioned machines should contact ITS to install this software.

Requirements

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

Requesting this Software

Users with WPI-Provisioned machines should contact ITS to install this software.