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