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