(previously: Felix Wellen)
Formalizing Cartan Geometry in Modal Homotopy Type Theory
PhD Thesis
HoTT-Agda code: DCHoTT-Agda.
On modal homotopy type theory (such as concerning homotopy n-types/n-truncation modality and covering spaces):
On synthetic algebraic geometry:
Last revised on September 15, 2023 at 15:31:03. See the history of this page for a list of all contributions to it.