My name changed from Felix Wellen.
Formalizing Cartan Geometry in Modal Homotopy Type Theory
PhD Thesis
HoTT-Agda code: DCHoTT-Agda.
Last revised on December 1, 2020 at 11:40:48. See the history of this page for a list of all contributions to it.