Felix Cherubini's repositories
DCHoTT-Agda
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
synthetic-zariski
Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
synthetic-geometry
Synthetic geometry. Probably mostly algebraic geometry.
HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg
ExactArithmetic
Calculate without loss of precision
adventOfCode
My solutions to 'advent of code' exercises
agda-stdlib
The Agda standard library
cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
DSLsofMath
Domain Specific Languages of Mathematics
fstar-mode.el
Emacs support for F*
instiki2git
A script for exporting an Instiki installation to a git repository.
mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/