CtCoq
From MaRDI portal
Cited in
(26)- Proviola
- IsaWin
- Proof General
- TeXmacs
- Matita
- Gammatella
- Proof General Kit
- Towards semantic mathematical editing
- User interaction with the Matita proof assistant
- Coqoon
- Generation and presentation of formal mathematical documents
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
- Tool support for proof engineering
- Tinycals: step by step tacticals
- VizzAnalyzer
- CoqPIE
- PeaCoq
- Crafting a Proof Assistant
- Centaur
- Whelp
- Preserving syntactic correctness while editing mathematical formulas
- CtCoq: a system presentation
- scientific article; zbMATH DE number 1863383 (Why is no real title available?)
- A user interface for a mathematical system that allows ambiguous formulae
- The Matita interactive theorem prover
- BlueJ
This page was built for software: CtCoq
