iblech / internal-methodsLinks

Notes on how to use the internal language of toposes in algebraic geometry
58Updated last month

Alternatives and similar repositories for internal-methods

Users that are interested in internal-methods are comparing it to the libraries listed below

Sorting: