Cited in
(26)- 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
- scientific article; zbMATH DE number 1863383 (Why is no real title available?)
- Towards semantic mathematical editing
- Proviola
- IsaWin
- Proof General
- TeXmacs
- Matita
- Gammatella
- Proof General Kit
- Coqoon
- VizzAnalyzer
- CoqPIE
- PeaCoq
- Centaur
- Whelp
- BlueJ
- Preserving syntactic correctness while editing mathematical formulas
- Tinycals: step by step tacticals
- 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
