martinescardo
Follow
-
TypeTopology Public
Logical manifestations of topological concepts, and other things, via the univalent point of view.
-
martinescardo.github.io Public
Intituitional web link redirects to this page now
HTML UpdatedFeb 26, 2025 -
HoTT-UF-Agda-Lecture-Notes Public
Lecture notes on univalent foundations of mathematics with Agda
-
-
mathematics-and-computation Public
Forked from andrejbauer/mathematics-and-computationAndrej Bauer's blog "Mathematics and Computation"
Mathematica UpdatedApr 20, 2022 -
EffectfulForcing Public
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.
-
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedJun 24, 2021 -
birmingham-theory Public
Forked from jamievicary/birmingham-theoryThe web page for the Birmingham theoretical computer science research group
HTML UpdatedMay 14, 2020 -
-
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedAug 17, 2018 -
HoTT-Agda Public
Forked from HoTT/HoTT-AgdaDevelopment of homotopy type theory in Agda
Agda Other UpdatedOct 19, 2014 -
hott-notes Public
Forked from maurer/hott-notes15-819 (Homotopy Type Theory) Lecture Notes
TeX UpdatedFeb 5, 2014