konn / sdg-agdaLinks

Synthetic Differential Geometry in Agda
12Updated 10 years ago

Alternatives and similar repositories for sdg-agda

Users that are interested in sdg-agda are comparing it to the libraries listed below

Sorting: