Pcoq

swMATH9971MaRDI QIDQ21948FDOQ21948

Author name not available (Why is that?)

Cited In (5)

• 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
• Isabelle as Document-Oriented Proof Assistant
• Web interfaces for proof assistants

This page was built for software: Pcoq