Discover @martinescardo Open Source projects

Martin Escardo (@martinescardo)

martinescardo

Stars
678
Global Rank 44,185 (Top 2 %)
Followers 177
Following 2
Registered over 11 years ago
Most used languages

Agda 75.0 %

TeX
25.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 2,251
Country Ranking

Agda 2

TeX
16

HoTTEST-Summer-School

HoTTEST Summer School materials

TypeTopology

Logical manifestations of topological concepts, and other things, via the univalent point of view.

HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

EffectfulForcing

Files 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.