The following pages link to (Q4490725):
Displaying 6 items.
- Subformula linking for intuitionistic logic with application to type theory (Q2055855) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity (Q2829283) (← links)
- Encoding natural semantics in Coq (Q5096388) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- A living monograph for graph transformation (Q6535522) (← links)
