felixwellen / synthetic-zariskiLinks

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
60Updated this week

Alternatives and similar repositories for synthetic-zariski

Users that are interested in synthetic-zariski are comparing it to the libraries listed below

Sorting: