Pinned Loading

1. agda/cubical agda/cubical Public

   An experimental library for Cubical Agda

   Agda 507 156

2. cubical cubical Public

   Forked from agda/cubical

   Agda

3. synthetic-geometry synthetic-geometry Public

   Synthetic geometry. Probably mostly algebraic geometry.

   25 4

4. synthetic-zariski synthetic-zariski Public

   Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

   TeX 67 8