2 results found Sort:

rkirsling
modallogic rkirsling
55
367
mit
22
Modal Logic Playground
semantics modal-logic directed-graph
Created 2013-02-06
63 commits to master branch, last one 3 years 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