PG Web

(As of: 2022-07-06)

This wiki is for collaboration on the use and development of Proof General. Good interfaces and development tools are crucial if interactive proof systems are to be adopted by and computer programmers. Unfortunately, the development tools available for theorem provers are often quite rudimentary. The Proof General project is an ongoing attempt to redress this. Proof General provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with exciting features (see some screenshots) and a wide range of bugs.
 * ''Welcome to the Proof General Wiki!

The Proof General Wiki, from the School of Informatics at The  of , Scotland, has apparently (?) moved from a MoinMoin wiki at http://ProofGeneral.Inf.Ed.ac.uk/kit/wiki to a  wiki engine at https://wiki.Inf.Ed.ac.uk/PG in.
 * (I'd like a link to more info about *why* that happened. --DavidCary (talk) 08:34, 21 March 2013 (PDT))