Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Deducteam/lambdapi Stargazers