The following pages link to CtCoq (Q21949):
Displaying 12 items.
- Towards semantic mathematical editing (Q2348287) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- (Q2760868) (← links)
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity (Q2829283) (← links)
- Tool Support for Proof Engineering (Q2867938) (← links)
- Tinycals: Step by Step Tacticals (Q2867943) (← links)
- Crafting a Proof Assistant (Q3612433) (← links)
- Preserving Syntactic Correctness While Editing Mathematical Formulas (Q4610027) (← links)
- CtCoq: A system presentation (Q4647518) (← links)
- (Q4790658) (← links)
- A User Interface for a Mathematical System that Allows Ambiguous Formulae (Q5166498) (← links)
- The Matita Interactive Theorem Prover (Q5200015) (← links)
