The following pages link to A Framework for Interactive Proof (Q5428268):
Displaying 6 items.
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- A Review of Mathematical Knowledge Management (Q3637281) (← links)
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238) (← links)
- Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Proverʼs Palette (Q5170239) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)
