## ProverEditor v.0.1.0 |

This editor is used to edit interactive theorem prover files within Eclipse. It is made to use with Coq, and in a near future PVS and other provers. It uses a lightweight approach: easy to extend, with just a minimal set of commands.

For more technical informations about it, see the gforge repository.

This document was translated from L^{A}T_{E}X byH^{E}V^{E}A.