swMATH13663MaRDI QIDQ25577FDOQ25577
Author name not available (Why is that?)
Official website: https://hackage.haskell.org/package/dedukti
Source code repository: https://github.com/deducteam/dedukti
Cited In (32)
- 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
- Proof checking and logic programming
- Proof checking and logic programming
- Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo
- 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
- Zenon
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge
- BWare
- FoCaLiZe
- Tactics and certificates in Meta Dedukti
- Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings
- CoqMTU
- CoqMT
- GAPT
- CompCertS
- cubicaltt
- ProofScript
- Meta Dedukti
- Focalide
- CoqInE
- ArchSAT
- ekstrakto
- Logipedia
- OpenTheory
- Proof certificates in PVS
- FoCaLiZe and Dedukti to the rescue for proof interoperability
- Soundly proving B method formulæ using typed sequent calculus
- Title not available (Why is that?)
This page was built for software: dedukti
