Felix Cherubini

synthetic-zariski. Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

DCHoTT-Agda. Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality

synthetic-geometry. Synthetic geometry. Probably mostly algebraic geometry.

FastFluidDynamics. OCaml

HoTT-Vorlesung. Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg

ExactArithmetic. Calculate without loss of precision

HoTT-WS-25-26. Begleitmaterial zur Vorlesung Homotopietypentheorie an der Universität Augsburg im Wintersemester 25/26