Coqtags Installation On A Debian, Ubuntu, Fedora And Raspbian

Coqtags Installation On A Debian, Ubuntu, Fedora And Raspbian

coqtags

generic frontend for proof assistants

Learn Laravel, React, VueJS and Python
read programming books

Install coqtags

  • Debian apt-get install proofgeneral Click to copy
  • Ubuntu apt-get install proofgeneral Click to copy
  • Fedora dnf install emacs-common-proofgeneral Click to copy
  • Raspbian apt-get install proofgeneral Click to copy

proofgeneral

generic frontend for proof assistants

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers. This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)

emacs-common-proofgeneral

Emacs mode for standard
Installing coqtags command is simple. just copy one of the above commands for your operating system and paste it into terminal. This command is available for Debian, Ubuntu, Fedora and Raspbian operating systems. Once you run the command it will install the latest version of coqtags 2026 package in your OS.