The following pages link to Mathematical Knowledge Management (Q5313072):
Displaying 5 items.
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I (Q2866803) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)
