lambdapi

Proof assistant for the λΠ-calculus modulo rewriting