2 results found Sort:

36
299
other
14
Proof assistant based on the λΠ-calculus modulo rewriting
Created 2017-09-10
3,829 commits to master branch, last one 5 days ago
2
60
apache-2.0
6
A cost-aware logical framework, embedded in Agda.
Created 2021-02-25
617 commits to main branch, last one 11 months ago