[Top] [Contents] [Index] [ ? ]

Proof General

This file documents version 4.5-git of Proof General, a generic Emacs interface for proof assistants.

Proof General 4.5-git has been tested with GNU Emacs 24.3 on Linux. It is supplied ready to use for the proof assistants Coq, EasyCrypt, and PhoX.


[Top] [Contents] [Index] [ ? ]

This document was generated by Erik Martin-Dorel on June 2, 2019 using texi2html 1.82.