swMATH9455MaRDI QIDQ21438FDOQ21438
Author name not available (Why is that?)
Official website: http://slimmer.gforge.inria.fr/tac/
Cited In (8)
- Focused Inductive Theorem Proving
- A proposal for broad spectrum proof certificates
- Realizing the dependently typed \(\lambda\)-calculus
- Abella
- Bedwyr
- Reasoning with higher-order abstract syntax and contexts: a comparison
- Cut elimination for a logic with induction and co-induction
- On the expressivity of minimal generic quantification
This page was built for software: Tac
