# Schreiber Formalizing Cartan Geometry in Modal HoTT

Related projects

$\,$

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

$\,$

Last revised on June 28, 2017 at 08:18:18. See the history of this page for a list of all contributions to it.