-
University of Birmingham
- United Kingdom
- http://www.cs.bham.ac.uk/~mhe/
- @MartinEscardo@mathstodon.xyz
Block or Report
Block or report martinescardo
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
HoTT-UF-Agda-Lecture-Notes
HoTT-UF-Agda-Lecture-Notes PublicLecture notes on univalent foundations of mathematics with Agda
-
TypeTopology
TypeTopology PublicLogical manifestations of topological concepts, and other things, via the univalent point of view.
-
EffectfulForcing
EffectfulForcing PublicFiles related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.
Agda 11
-
-
hott-notes
hott-notes PublicForked from maurer/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
TeX
If the problem persists, check the GitHub status page or contact support.