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

[Canonical Snapcraft](https://snapcraft.io/)

# Install Coq Interactive Theorem Prover on **Debian**

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

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

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

### 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")

---

##### Report a Snap Store violation

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

---

## Enable snaps on Debian and install Coq Interactive Theorem Prover

Snaps are applications packaged with all their dependencies to run on all popular Linux distributions from a single build. They update automatically and roll back gracefully.

Snaps are discoverable and installable from the [Snap Store](https://snapcraft.io/store), an app store with an audience of millions.

### Enable snapd

On Debian 9 (Stretch) and newer, snap can be installed directly from the command line:

```
sudo apt update
sudo apt install snapd
```

After this, install the snapd snap in order to get the latest snapd:

```
sudo snap install snapd
```

### Install Coq Interactive Theorem Prover

To install Coq Interactive Theorem Prover, simply use the following command:

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

### Other popular snaps…

[See more...](https://snapcraft.io/search?categories=featured)

[See more in Featured](https://snapcraft.io/search?categories=featured)

### More things to do…

#### [Get the snap store](https://snapcraft.io/snap-store)

Browse and find snaps from the convenience of your desktop using the snap store snap.

#### [Learn more about snaps](https://snapcraft.io/docs)

Interested to find out more about snaps? Want to publish your own application? Visit [snapcraft.io](https://snapcraft.io/) now.

[Back to top](https://snapcraft.io/install/coq-prover/debian)

© 2026 Canonical Ltd.
Ubuntu and Canonical are registered trademarks of Canonical Ltd.

Powered by [Charmed Kubernetes](https://www.ubuntu.com/kubernetes)

[Join the forum](https://forum.snapcraft.io/), contribute to or report problems with,
[snapd](https://bugs.launchpad.net/snapd),
[Snapcraft](https://bugs.launchpad.net/snapcraft),
or [this site](https://github.com/canonical/snapcraft.io/issues/new).

* [Share on Twitter](https://twitter.com/snapcraftio)
* [Share on Facebook](https://www.facebook.com/snapcraftio)
* [Share on YouTube](https://www.youtube.com/snapcraftio)

* [Terms of Service](https://ubuntu.com/legal/terms-and-policies/snap-store-terms)
* [Data privacy](https://www.ubuntu.com/legal/data-privacy)
* [Manage your tracker settings](https://snapcraft.io/install/coq-prover/debian)
* [Service status](https://status.snapcraft.io/)
* [Other functions](https://dashboard.snapcraft.io/)
* [Contact us](https://snapcraft.io/about/contact-us)