My name changed from Felix Wellen.
Old website at CMU
Formalizing Cartan Geometry in Modal Homotopy Type Theory
PhD Thesis
HoTT-Agda code: DCHoTT-Agda.
Last revised on April 17, 2020 at 05:32:03. See the history of this page for a list of all contributions to it.