Manual

Here is the in HTML form.
For printing you can download the .

Warning: the links above are for the current pre-release and may be updated from the documentation included in the last stable release.

Full documentation for Proof General is included in the When running Proof General the manual is available from the "Proof General" menu. It should also appear in the system info pages.

You can discuss Proof General with other users and receive announcements by joining our mailing lists.


References

Proof General supports Script Management as documented in:

It has support for Proof by Pointing, as documented in: