CtCoq
From MaRDI portal
Software:21949
swMATH9972MaRDI QIDQ21949FDOQ21949
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
