Gabriel Hondet | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Gilles Dowek
45 publications
Frédéric Blanqui
12 publications
François Thiré
3 publications
Emilie Grienenberger
2 publications

research

∙ 10/31/2021

Some axioms for mathematics

The lambda-Pi-calculus modulo theory is a logical framework in which man...

0 Frédéric Blanqui, et al. ∙

research

∙ 10/26/2021

Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory

The λΠ-calculus modulo theory is a logical framework in which various lo...

0 Gabriel Hondet, et al. ∙

research

∙ 10/30/2020

The New Rewriting Engine of Dedukti

Dedukti is a type-checker for the λΠ-calculus modulo rewriting, an exten...

0 Gabriel Hondet, et al. ∙