2 results found Sort:
Proof assistant based on the λΠ-calculus modulo rewriting
Created
2017-09-10
3,836 commits to master branch, last one 3 hours ago
A cost-aware logical framework, embedded in Agda.
Created
2021-02-25
617 commits to main branch, last one 11 months ago