Proof General Kit

MaRDI QIDQ21663swMATHFDO

Official website http://proofgeneral.inf.ed.ac.uk/kit

Cited in

(14)

• A graphical user interface for formal proofs in geometry
• Web interfaces for proof assistants
• Isabelle as document-oriented proof assistant
• Mathematical Knowledge Management
• Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
• Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit
• A Framework for Interactive Proof
• Mathematical Knowledge Management
• IsaWin
• Proof General
• TAS
• Pcoq
• Geometry Tutor
• A Review of Mathematical Knowledge Management

This page was built for software: Proof General Kit