nachivpn / kLinks

Meta-theory and normalization for Fitch-style modal lambda calculi
18Updated last year

Alternatives and similar repositories for k

Users that are interested in k are comparing it to the libraries listed below

Sorting: