dedukti
From MaRDI portal
Dedukti
Cited in
(32)- FoCaLiZe and Dedukti to the rescue for proof interoperability
- Proof certificates in PVS
- Tactics and certificates in Meta Dedukti
- Zenon
- Certification of nonclausal connection tableaux proofs
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- BWare
- Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings
- FoCaLiZe
- Proof checking and logic programming
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
- On completeness of reducibility candidates as a semantics of strong normalization
- CoqMTU
- CoqMT
- 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
- GAPT
- CompCertS
- cubicaltt
- ProofScript
- Meta Dedukti
- Focalide
- CoqInE
- ekstrakto
- ArchSAT
- Logipedia
- OpenTheory
- Size-based termination of higher-order rewriting
- scientific article; zbMATH DE number 7178363 (Why is no real title available?)
- Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo
- Proof checking and logic programming
This page was built for software: dedukti
