lincolixavier / awesome-type-theoryLinks

16Updated 7 months ago

Alternatives and similar repositories for awesome-type-theory

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

Sorting: