coqtags
generic frontend for proof assistants
Install
- All systems
-
curl cmd.cat/coqtags.sh
- Debian
-
apt-get install proofgeneral - Ubuntu
-
apt-get install proofgeneral - Fedora
-
dnf install emacs-common-proofgeneral - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install proofgeneral - Raspbian
-
apt-get install proofgeneral - Dockerfile
- dockerfile.run/coqtags
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.)