wkolowski / Type-Theory-Wishlist

Personal research notes
16Updated 5 months ago

Alternatives and similar repositories for Type-Theory-Wishlist:

Users that are interested in Type-Theory-Wishlist are comparing it to the libraries listed below