deducteam.github.io - Dedukti - a Logical Framework

home > domains > deducteam.github.io

Example domain paragraphs

Dedukti is a logical framework based on the λΠ-calculus modulo in which many theories and logics can be expressed.

"Dedukti" means "to deduce" in Esperanto .

See the GitHub repository .

Links to deducteam.github.io (2)

• lepigre.fr Rodolphe Lepigre's webpage
• rlepigre.github.io Rodolphe Lepigre's webpage