Schreiber
Formalizing Cartan Geometry in Modal HoTT

This page collects material related to



\,

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)