1 result found Sort:

36
299
other
14
Proof assistant based on the λΠ-calculus modulo rewriting
Created 2017-09-10
3,834 commits to master branch, last one a day ago