Version 2 (modified by 16 years ago) (diff) | ,
---|
Proof General…
is subject of this trac.
NB: the preferred name has a space, Proof General, contrary to the usage adopted by certain theorem prover developers!
Please see http://proofgeneral.inf.ed.ac.uk