Tac

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