Beast code in Giters

Marc Bezem's repositories

Lecture notes and other material for the course INF102, Algorithms and Data Structures, at the University of Bergen.

Language:Java21 60

Coherent Logic at Proof and Computation, 2022

Language:TeXCC-BY-SA-4.02 20

100

Construction of the circle in UniMath

Language:TeX1 4 2

A textbook on informal homotopy type theory

Language:TeX000

Language:TeX000

Experimental implementation of Cubical Type Theory

Language:HaskellMIT020

Homotopy type theory

Language:CoqNOASSERTION000

Language:TeX000

Lecture notes for a seminar on Homotopy Type Theory

Language:TeX000

Language:TeX03 1

formalization of theorems of higher algebraic K-theory

Language:CoqGPL-2.0000

Language:HTMLCC-BY-SA-4.0000

Further development of the pplex project

Language:JavaGPL-3.0020

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqNOASSERTION000