Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda-unimath
Univalent mathematics in Agda
book
A textbook on informal homotopy type theory
domain-theory-in-uf
MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
MGS-domain-theory
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
Scott-PCF-UniMath
Browseable HTML Coq documentation for the Scott model of PCF in Unimath
thesis-template
Template for a (PhD) thesis
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
UniMath
Learning UniMath
tomdjong's Repositories
tomdjong/MGS-domain-theory
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
tomdjong/MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
tomdjong/domain-theory-in-uf
tomdjong/thesis-template
Template for a (PhD) thesis
tomdjong/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
tomdjong/UniMath
Learning UniMath
tomdjong/Scott-PCF-UniMath
Browseable HTML Coq documentation for the Scott model of PCF in Unimath
tomdjong/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
tomdjong/agda-unimath
Univalent mathematics in Agda
tomdjong/book
A textbook on informal homotopy type theory
tomdjong/CollaborationData
Collaboration data for Research Skills paper
tomdjong/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
tomdjong/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
tomdjong/HoTTEST-Summer-School-development
HoTTEST Summer School materials
tomdjong/Schools