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
- Preserving Syntactic Correctness While Editing Mathematical Formulas
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity
- Generation and presentation of formal mathematical documents
- Title not available (Why is that?)
- Towards semantic mathematical editing
- CtCoq: A system presentation
- The Matita Interactive Theorem Prover
- Tinycals: step by step tacticals
- Crafting a Proof Assistant
- A User Interface for a Mathematical System that Allows Ambiguous Formulae
- Tool support for proof engineering
This page was built for software: CtCoq
