Coq Interactive Theorem Prover (coq-prover) Package name

Coq Development Team (coq-team) Publisher
Development
Science

Install latest/stable of Coq Interactive Theorem Prover

This channel hasn't been updated in a while. It might be unmaintained and have stability or security issues.

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

Details for Coq Interactive Theorem Prover

Package name

coq-prover

License

LGPL-2.1

Last updated

22 February 2024 - latest/stable
22 February 2024 - latest/edge

This snap hasn't been updated in a while. It might be unmaintained and have stability or security issues.

Websites

github.com/coq/coq

Contact

coq.inria.fr

Command › Alias

coq-prover.coqide › coqide
coq-prover.coq-makefile › coq_makefile
coq-prover.coqtop › coqtop
coq-prover.coqc › coqc
coq-prover.coqdep › coqdep
coq-prover.coqidetop › coqidetop.opt
Show more

Report a Snap Store violation

Report this Snap

Share this snap

Generate an embeddable card to be shared on external websites.

Customise your embeddable card using the options below.

Snap Store button:

Dark Light Hide button

Options:

Show all channels Show summary Show screenshot

Preview:

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.

Select architecture

Revision	Channel	Version	Published	Build	Commit	Download SBOM

The build and commit information is derived from build infrastructure records.

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.