/proofprocess

ProofProcess framework to capture and analyse expert's interactive proof process. Prototype implementations for Isabelle (via Isabelle/Eclipse) and Z/EVES (via CZT/ZEves).

Primary LanguageJavaEclipse Public License 1.0EPL-1.0

Stargazers

No one’s star this repository yet.