--- title: Install Coq Interactive Theorem Prover on Arch Linux using the Snap Store | Snapcraft description: Get the latest version of Coq Interactive Theorem Prover for on Arch Linux - Coq and its Platform url: https://snapcraft.io/install/coq-prover/arch --- [Canonical Snapcraft](https://snapcraft.io/) # Install Coq Interactive Theorem Prover on **Arch Linux** # 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/arch#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 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/arch#report-snap-modal) --- ## Enable snaps on Arch Linux 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 Arch Linux, snap can be installed from the [Arch User Repository (AUR).](https://aur.archlinux.org/packages/snapd/) The [manual build process](https://wiki.archlinux.org/index.php/Arch_User_Repository#Installing_packages) is the Arch-supported install method for AUR packages, and you’ll need the [prerequisites](https://wiki.archlinux.org/index.php/Arch_User_Repository#Prerequisites) installed before you can install any AUR package. You can then install snap with the following: ``` git clone https://aur.archlinux.org/snapd.git cd snapd makepkg -si ``` Once installed, the *systemd* unit that manages the main snap communication socket needs to be enabled: ``` sudo systemctl enable --now snapd.socket ``` If [AppArmor](https://wiki.archlinux.org/title/AppArmor) is enabled in your system, enable the service which loads AppArmor profiles for snaps: ``` sudo systemctl enable --now snapd.apparmor.service ``` To enable *classic* snap support, enter the following to create a symbolic link between `/var/lib/snapd/snap` and `/snap`: ``` sudo ln -s /var/lib/snapd/snap /snap ``` Either log out and back in again, or restart your system, to ensure snap’s paths are updated correctly. ### 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/arch) © 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/arch) * [Service status](https://status.snapcraft.io/) * [Other functions](https://dashboard.snapcraft.io/) * [Contact us](https://snapcraft.io/about/contact-us)