geelon / type-theoryLinks

Type Theory
20Updated 8 years ago

Alternatives and similar repositories for type-theory

Users that are interested in type-theory are comparing it to the libraries listed below

Sorting: