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