The following pages link to (Q4413879):
Displaying 4 items.
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Procedural representation of CIC proof terms (Q2655331) (← links)
- Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I (Q2866803) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
