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: