2 results 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
jonsterling
agda-calf jonsterling
2
61
apache-2.0
5
A cost-aware logical framework, embedded in Agda.
agda cost complexity logical-framework modal-type-theory
Created 2021-02-25
617 commits to main branch, last one about a year ago