Tac
From MaRDI portal
Software:21438
No author found.
Related Items (7)
Cut elimination for a logic with induction and co-induction ⋮ Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison ⋮ Focused Inductive Theorem Proving ⋮ On the Expressivity of Minimal Generic Quantification ⋮ Least and Greatest Fixed Points in Linear Logic ⋮ A Proposal for Broad Spectrum Proof Certificates ⋮ Realizing the Dependently Typed Lambda Calculus.
This page was built for software: Tac
