1 result found Sort:

Deducteam
lambdapi Deducteam
35
269
other
14
Proof assistant based on the λΠ-calculus modulo rewriting
rewriting proof-checker dependent-types proof-assistant proof-translator logical-framework
Created 2017-09-10
3,795 commits to master branch, last one 4 days ago