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

write macro for axioms #1

Closed felixwellen closed 1 year ago

felixwellen commented 1 year ago

We want to refer to axioms when proving theorems, ideally this should be a macro, e.g. '\Loc' and there should be a link.

felixwellen commented 1 year ago

This is solve well enough by our \axiomref