1 result found Sort:

Deducteam
lambdapi Deducteam
36
312
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,852 commits to master branch, last one 6 days ago