Dedukti: Logical Framework Based on the λΠ-Calculus #1 Post by presheaf » Sat, Nov 26, 2022, 9:28 PM UTC Dedukti: Logical Framework Based on the λΠ-Calculusdeducteam.github.io