Gothenburg, Sweden

Felix Cherubini

Expert
@felixwellen
felix-cherubini.de

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

72

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

61

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

26

FastFluidDynamics. OCaml

3

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

3

ExactArithmetic. Calculate without loss of precision

1

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

1
7
Apply