L

LFMT

A formalization of lambda-pi modulo theory without rewrite rules.