L-TChen / ModalTypeTheoryLinks

21Updated 3 years ago

Alternatives and similar repositories for ModalTypeTheory

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

Sorting: