Coq is a mathematical theorem prover which mechanically checks proofs of expressions of mathematical assertions.
Using This Software
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.
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.