swMATH9971MaRDI QIDQ21948FDOQ21948
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/lemme/pcoq/
Cited In (12)
- A graphical user interface for formal proofs in geometry
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
- Web interfaces for proof assistants
- GeoProof
- Proof General Kit
- Dr.Doodle
- GeoView
- Isabelle as document-oriented proof assistant
- Plat-Omega
- Multi
- Geometry Tutor
This page was built for software: Pcoq
