The following pages link to Matita Tutorial (Q5195259):
Displaying 6 items.
- Matita (Q18274) (← links)
- Reverse complexity (Q287279) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)