2 results found Sort:

Deducteam
lambdapi Deducteam
35
280
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,806 commits to master branch, last one 5 days ago
jonsterling
agda-calf jonsterling
2
57
apache-2.0
6
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 8 months ago