jonsterling / agda-brouwerian-mathematicsLinks
some "modernized" brouwerian mathematics, inspired by Hancock, Ghani & Pattinson
☆8Updated 9 years ago
Alternatives and similar repositories for agda-brouwerian-mathematics
Users that are interested in agda-brouwerian-mathematics are comparing it to the libraries listed below
Sorting: