Title: Proof General
Open Graph Title: Proof General
X Title: Proof General
Description: A generic Emacs interface for proof assistants.
X 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....
Opengraph URL: https://proofgeneral.github.io/
X: @
Domain: proofgeneral.github.io
| None | IE=edge |
| author | The PG dev team |
| og:type | website |
| og:image | https://proofgeneral.github.io/img/ProofGeneral-splash.png |
| msapplication-TileColor | #da532c |
| msapplication-TileImage | /mstile-144x144.png |
| theme-color | #ffffff |
| twitter:card | summary |
| twitter:creator | @ |
| twitter:image | https://proofgeneral.github.io/img/ProofGeneral-splash.png |
Links:
Viewport: width=device-width, initial-scale=1.0, maximum-scale=1.0
