How To Install coq-coqide on Fedora 36
Introduction
In this tutorial we learn how to install coq-coqide on Fedora 36.
What is coq-coqide
Coq is a formal proof management system. It 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 package provides CoqIDE, a graphical user interface for the development of interactive proofs.
We can use yum or dnf to install coq-coqide on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install coq-coqide.
Install coq-coqide on Fedora 36 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install coq-coqide using dnf by running the following command:
sudo dnf -y install coq-coqide
Install coq-coqide on Fedora 36 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install coq-coqide using yum by running the following command:
sudo yum -y install coq-coqide
How To Uninstall coq-coqide on Fedora 36
To uninstall only the coq-coqide package we can use the following command:
sudo dnf remove coq-coqide
coq-coqide Package Contents on Fedora 36
/etc/xdg/coq
/usr/bin/coqide
/usr/lib/.build-id
/usr/lib/.build-id/44/6891480ad8995787d6504d0893f824cc7da105
/usr/lib64/ocaml/coqide
/usr/lib64/ocaml/coqide/META
/usr/lib64/ocaml/coqide/dune-package
/usr/lib64/ocaml/coqide/opam
/usr/share/applications/fr.inria.coqide.desktop
/usr/share/coq
/usr/share/coq/coq-ssreflect.lang
/usr/share/coq/coq.lang
/usr/share/coq/coq.png
/usr/share/coq/coq_style.xml
/usr/share/coq/default.bindings
/usr/share/doc/coq-coqide
/usr/share/doc/coq-coqide/FAQ
/usr/share/gtksourceview-3.0/language-specs/coq-ssreflect.lang
/usr/share/gtksourceview-3.0/language-specs/coq.lang
/usr/share/gtksourceview-3.0/styles/coq_style.xml
/usr/share/icons/hicolor/128x128/mimetypes/coqfile.png
/usr/share/icons/hicolor/16x16/apps/coq.png
/usr/share/icons/hicolor/16x16/mimetypes/coqfile.png
/usr/share/icons/hicolor/256x256/apps/coq.png
/usr/share/icons/hicolor/256x256/mimetypes/coqfile.png
/usr/share/icons/hicolor/32x32/apps/coq.png
/usr/share/icons/hicolor/32x32/mimetypes/coqfile.png
/usr/share/icons/hicolor/512x512/apps/coq.png
/usr/share/icons/hicolor/512x512/mimetypes/coqfile.png
/usr/share/man/man1/coqide.1.gz
/usr/share/metainfo/fr.inria.coqide.metainfo.xml
/usr/share/mime/packages/coq.xml
References
Summary
In this tutorial we learn how to install coq-coqide on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
