marcbezem

Pinned Repositories

book
A textbook on informal homotopy type theory
Language:TeX00
CL-PC22
Coherent Logic at Proof and Computation, 2022
Language:TeX2 2 02
cubic
Language:TeX0 2 00
cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell0 2 00
HoTT
Homotopy type theory
Language:Coq0 2 00
INF102
Lecture notes and other material for the course INF102, Algorithms and Data Structures, at the University of Bergen.
Language:Java21 6 02
INF223
Language:TeX0 2 00
INF329
Lecture notes for a seminar on Homotopy Type Theory
Language:TeX00
testrepository
testrepository
10
ZTors
Construction of the circle in UniMath
Language:TeX1 4 21

marcbezem's Repositories

marcbezem/INF102
Lecture notes and other material for the course INF102, Algorithms and Data Structures, at the University of Bergen.
Language:Java21 6 02
marcbezem/CL-PC22
Coherent Logic at Proof and Computation, 2022
Language:TeX2 2 02
marcbezem/testrepository
testrepository
10
marcbezem/ZTors
Construction of the circle in UniMath
Language:TeX1 4 21
marcbezem/book
A textbook on informal homotopy type theory
Language:TeX00
marcbezem/cubic
Language:TeX0 2 00
marcbezem/cubicaltt
Experimental implementation of Cubical Type Theory
Language:Haskell0 2 00
marcbezem/HoTT
Homotopy type theory
Language:Coq0 2 00
marcbezem/INF223
Language:TeX0 2 00
marcbezem/INF329
Lecture notes for a seminar on Homotopy Type Theory
Language:TeX00
marcbezem/skolem
Language:TeX0 3 10
marcbezem/Ktheory
formalization of theorems of higher algebraic K-theory
Language:Coq2 0
marcbezem/marcbezem.github.io
Language:HTML
marcbezem/pviz
Further development of the pplex project
Language:Java2 0
marcbezem/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq2 0