The following pages link to dedukti (Q25577):
Displayed 16 items.
- Theoretical aspects of computing -- ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24--31, 2016. Proceedings (Q327098) (← links)
- FoCaLiZe and Dedukti to the rescue for proof interoperability (Q1687726) (← links)
- Proof certificates in PVS (Q1687741) (← links)
- Tactics and certificates in Meta Dedukti (Q1791152) (← links)
- Certification of nonclausal connection tableaux proofs (Q2180504) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings (Q2402234) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo (Q2870135) (← links)
- On completeness of reducibility candidates as a semantics of strong normalization (Q2881069) (← links)
- Soundly Proving B Method Formulæ Using Typed Sequent Calculus (Q3179401) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- (Q5219928) (← links)
- (Q5277971) (← links)
- Proof Checking and Logic Programming (Q5743582) (← links)