2 results found Sort:

jonsterling
agda-calf jonsterling
4
51
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 3 months ago
mtt-lang
mtt-lang mtt-lang
8
42
mit
4
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
ocaml tutorial modal-logic modal-type-theory
Created 2020-07-30
60 commits to master branch, last one 2 years ago