---
title: Install Coq Interactive Theorem Prover on Linux | Snap Store
description: Get the latest version of Coq Interactive Theorem Prover for Linux -
  Coq and its Platform
url: https://snapcraft.io/coq-prover
---

# Coq Interactive Theorem Prover (coq-prover)

[Coq Development Team (coq-team)](https://snapcraft.io/publisher/coq-team "View all snaps from Coq Development Team (coq-team)")

* [Coq Development Team (coq-team)](https://snapcraft.io/publisher/coq-team "View all snaps from Coq Development Team (coq-team)")
* [Development](https://snapcraft.io/search?categories=development)
* [Science](https://snapcraft.io/search?categories=science)

latest/stable 2023-11-0

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.

---

**Install using the command line**

```
sudo snap install coq-prover
```

Don't have snapd? [Get set up for snaps](https://snapcraft.io/docs/installing-snapd).

---

### 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](https://github.com/coq/coq "https://github.com/coq/coq")

---

### Contact

* [coq.inria.fr](https://coq.inria.fr/community "https://coq.inria.fr/community")

---

### Command › Alias

* coq-prover.coqide › coqide
* coq-prover.coq-makefile › coq\_makefile
* coq-prover.coqtop › coqtop
* [Show more](https://snapcraft.io/coq-prover "Display more/less aliases")

---

##### Report a Snap Store violation

* [Report this Snap](https://snapcraft.io/coq-prover#report-snap-modal)

---

* [Description](https://snapcraft.io/coq-prover#tab-description)
* [Security](https://snapcraft.io/coq-prover#tab-security)

#### 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.

---

## 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](https://snapcraft.io/docs/installing-snapd).

[### Arch Linux](https://snapcraft.io/install/coq-prover/arch)

[### CentOS](https://snapcraft.io/install/coq-prover/centos)

[### Debian](https://snapcraft.io/install/coq-prover/debian)

[### elementary OS](https://snapcraft.io/install/coq-prover/elementary)

[### Fedora](https://snapcraft.io/install/coq-prover/fedora)

[### KDE Neon](https://snapcraft.io/install/coq-prover/kde-neon)

[### Kubuntu](https://snapcraft.io/install/coq-prover/kubuntu)

[### Manjaro](https://snapcraft.io/install/coq-prover/manjaro)

[### Pop!\_OS](https://snapcraft.io/install/coq-prover/pop)

[### openSUSE](https://snapcraft.io/install/coq-prover/opensuse)

[### Red Hat Enterprise Linux](https://snapcraft.io/install/coq-prover/rhel)

[### Ubuntu](https://snapcraft.io/install/coq-prover/ubuntu)