Tac
From MaRDI portal
Cited in
(8)- Cut elimination for a logic with induction and co-induction
- Bedwyr
- Abella
- On the expressivity of minimal generic quantification
- Realizing the dependently typed -calculus
- A proposal for broad spectrum proof certificates
- Reasoning with higher-order abstract syntax and contexts: a comparison
- Focused Inductive Theorem Proving
This page was built for software: Tac
