swMATH9972MaRDI QIDQ21949FDOQ21949
Author name not available (Why is that?)
Official website: http://www-sop.inria.fr/croap/ctcoq/ctcoq-eng.html
Cited In (25)
- User interaction with the Matita proof assistant
- A user interface for a mathematical system that allows ambiguous formulae
- Generation and presentation of formal mathematical documents
- Title not available (Why is that?)
- Towards semantic mathematical editing
- IsaWin
- Proof General
- TeXmacs
- Matita
- Preserving syntactic correctness while editing mathematical formulas
- Gammatella
- Proof General Kit
- Coqoon
- VizzAnalyzer
- CoqPIE
- PeaCoq
- Centaur
- Whelp
- Tinycals: step by step tacticals
- BlueJ
- Crafting a Proof Assistant
- CtCoq: a system presentation
- The Matita interactive theorem prover
- Tool support for proof engineering
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
This page was built for software: CtCoq
