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 updatesudo 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.)