The following pages link to Pcoq (Q21948):
Displaying 5 items.
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Web Interfaces for Proof Assistants (Q2867935) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
