Proof General Kit
From MaRDI portal
Software:21663
swMATH9684MaRDI QIDQ21663FDOQ21663
Author name not available (Why is that?)
Cited In (9)
- A graphical user interface for formal proofs in geometry
- Isabelle as Document-Oriented Proof Assistant
- Web interfaces for proof assistants
- A Review of Mathematical Knowledge Management
- Mathematical Knowledge Management
- Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette
- A Framework for Interactive Proof
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
- Mathematical Knowledge Management
This page was built for software: Proof General Kit
