Proof General Kit
From MaRDI portal
Software:21663
swMATH9684MaRDI QIDQ21663FDOQ21663
Author name not available (Why is that?)
Cited In (9)
- 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
- A Review of Mathematical Knowledge Management
- Isabelle as document-oriented proof assistant
- Mathematical Knowledge Management
- A Framework for Interactive Proof
- Mathematical Knowledge Management
This page was built for software: Proof General Kit
