JonathanLorimer / conceptual-mathematicsLinks

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
28Updated 3 years ago

Alternatives and similar repositories for conceptual-mathematics

Users that are interested in conceptual-mathematics are comparing it to the libraries listed below

Sorting: