Proof General Kit

swMATH9684MaRDI QIDQ21663FDOQ21663

Author name not available (Why is that?)

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

Cited In (14)

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

This page was built for software: Proof General Kit