Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
312Updated this week

Alternatives and similar repositories for lambdapi:

Users that are interested in lambdapi are comparing it to the libraries listed below