# Schreiber Formalizing Cartan Geometry in Modal HoTT

$\,$

about the formalization of Cartan geometry (manifolds, G-structures, torsion of G-structures) in modal homotopy type theory. The talk provides motivation and introduction to the thesis

$\,$

$\,$

which solves the first of the list of problems posed in

concerning the formalization in HoTT of results that are presented in

$\,$

Revised on June 28, 2017 08:18:18 by Urs Schreiber (131.220.184.222)