Coq Interactive Theorem Prover

Install latest/stable of Coq Interactive Theorem Prover

Ubuntu 16.04 or later?

Make sure snap support is enabled in your Desktop store.


Install using the command line

sudo snap install coq-prover

Don't have snapd? Get set up for snaps.

Channel Version Published

Coq and its Platform

The Coq interactive prover provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs.

This snap contains the Coq prover version 8.18.0 along with CoqIDE and number of Coq plugins and libraries. Please refer to

https://github.com/coq/platform/blob/main/doc/README%7E8.18%7E2023.11.md

for the complete list of packages and additional information like licenses.

Details for Coq Interactive Theorem Prover

License
  • LGPL-2.1

Last updated
  • 22 February 2024 - latest/stable
  • 22 February 2024 - latest/edge

Websites

Contact

Report a Snap Store violation

Share this snap

Generate an embeddable card to be shared on external websites.


Install Coq Interactive Theorem Prover on your Linux distribution

Choose your Linux distribution to get detailed installation instructions. If yours is not shown, get more details on the installing snapd documentation.


Where people are using Coq Interactive Theorem Prover

Users by distribution (log)

Ubuntu 22.04
Ubuntu 24.04
Ubuntu 20.04
pop 22.04
Ubuntu 18.04
Debian 12
Manjaro
Ubuntu 23.04
Ubuntu 23.10
Debian 10
Debian 11
Linux Mint 20.3
Linux Mint 21.3
Linux Mint 21.2
Arch Linux
Fedora 40
Linux Mint 21.1
Linux Mint 22
Ubuntu 22.10
Zorin OS 16