title

Proof General

charset

utf-8

X-UA-Compatible

IE=edge

viewport

width=device-width, initial-scale=1.0, maximum-scale=1.0

author

The PG dev team

og:title

Proof General

og:type

website

og:url

https://proofgeneral.github.io/

og:image

https://proofgeneral.github.io/img/ProofGeneral-splash.png

twitter:card

summary

twitter:site

@

twitter:creator

@

twitter:title

Proof General

twitter:description

## What is Proof General? **Proof General** is a generic interface for *proof assistants* (also known as *interactive theorem provers*), based on the extensible, customizable text editor [Emacs](https://www.gnu.org/software/emacs/). Proof General has been developed at the [LFCS](http://wcms.inf.ed.ac.uk/lfcs/) in the [University of Edinburgh](http://www.ed.ac.uk/), mainly by [David Aspinall](http://homepages.inf.ed.ac.uk/da), with contributions from other sites....

alternate

/feed.xml

apple-touch-icon

/apple-touch-icon-57x57.png

apple-touch-icon

/apple-touch-icon-60x60.png

apple-touch-icon

/apple-touch-icon-72x72.png

apple-touch-icon

/apple-touch-icon-76x76.png