Cited in
(13)- A graphical user interface for formal proofs in geometry
- Web interfaces for proof assistants
- Isabelle as document-oriented proof assistant
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- MMP/Geometer
- GeoProof
- Proof General Kit
- Dr.Doodle
- GeoView
- Plat-Omega
- Multi
- Geometry Tutor
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
This page was built for software: Pcoq
