thchatzidiamantis

I do fake math because real math makes bad things happen (it's fun too)

Pinned Repositories

BonnHoTTSeminar
Language:TeX10
Coq-HoTT
A Coq library for Homotopy Type Theory
Language:Coq00
LeanCourse23
Language:Lean00
MscThesis
00
Notes
00
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
Language:Markdown00
thchatzidiamantis
00
sHoTT
Formalisations for simplicial HoTT and synthetic ∞-categories.
Language:Markdown4311