11 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 6 cited
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…
cs.LO2015★ 11 cited
Checking Zenon Modulo Proofs in Dedukti
Raphaël Cauderlier, Pierre Halmagrand
Dedukti has been proposed as a universal proof checker. It is a logical framework based on the lambda Pi calculus modulo that is used as a backend to verify proofs coming from theo…