A framework to capture, store and analyse expert’s interactive proof process. The framework is part of the AI4FM research project, which aims to learn from an expert doing interactive theorem proving to increase automation of formal proofs.
When installing, select the ProofProcess framework for your theorem prover, e.g. Isabelle ProofProcess integration or Z/EVES ProofProcess integration - all required plug-ins will be downloaded and installed automatically.
Note that Isabelle/Eclipse requires Java 7 to run, so make sure that your Eclipse IDE is running on Java 7. Refer to Isabelle/Eclipse documentation for details.