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