ziman / ittLinks

Tiny dependent calculus with inference of irrelevance and erasure
15Updated 5 years ago

Alternatives and similar repositories for itt

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

Sorting: