search

felixwellen / synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
MIT License
50 stars 5 forks source link

#22: Citation.cff #24

Closed felixwellen closed 6 months ago

mnieper commented 6 months ago

Looks good to me!