dedukti
From MaRDI portal
Software:25577
No author found.
Source code repository: https://github.com/deducteam/dedukti
Related Items (16)
On completeness of reducibility candidates as a semantics of strong normalization ⋮ Proof checking and logic programming ⋮ Soundly Proving B Method Formulæ Using Typed Sequent Calculus ⋮ Theoretical aspects of computing -- ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24--31, 2016. Proceedings ⋮ Unnamed Item ⋮ Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings ⋮ Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge ⋮ Size-based termination of higher-order rewriting ⋮ Certification of nonclausal connection tableaux proofs ⋮ FoCaLiZe and Dedukti to the rescue for proof interoperability ⋮ Proof certificates in PVS ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Unnamed Item ⋮ Proof Checking and Logic Programming ⋮ Tactics and certificates in Meta Dedukti ⋮ Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
This page was built for software: dedukti
