TY  - RPRT
TI  - Dedukti: a Logical Framework based on the $λ$$Π$-Calculus Modulo Theory
AU  - Ali Assaf
AU  - Guillaume Burel
AU  - Raphaël Cauderlier
AU  - David Delahaye
AU  - Gilles Dowek
AU  - Catherine Dubois
AU  - Frédéric Gilbert
AU  - Pierre Halmagrand
AU  - Olivier Hermant
AU  - Ronan Saillard
PY  - 2023
UR  - https://arxiv.org/abs/2311.07185
ID  - 2311.07185
ER  -