Install Proofgeneral On A Debian, Ubuntu, Fedora, Raspbian And MacOS

Install Proofgeneral On A Debian, Ubuntu, Fedora, Raspbian And MacOS

proofgeneral

generic frontend for proof assistants

Learn Laravel, React, VueJS and Python
read programming books

Install proofgeneral

  • Debian apt-get install proofgeneral Click to copy
  • Ubuntu apt-get install proofgeneral Click to copy
  • Fedora dnf install proofgeneral Click to copy
  • Raspbian apt-get install proofgeneral Click to copy
  • macOS brew 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

proof-general

Install the latest version of proofgeneral in Debian, Ubuntu, Fedora, Raspbian and macOS from terminal. To install the proofgeneral just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of proofgeneral from the respository and install it in your computer/server.