My name changed from Felix Wellen.
website
Formalizing Cartan Geometry in Modal Homotopy Type Theory
PhD Thesis
HoTT-Agda code: DCHoTT-Agda.
Last revised on March 24, 2020 at 12:29:53. See the history of this page for a list of all contributions to it.