Popular repositories Loading

1. INF102 INF102 Public

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

   Java 21 2

2. CL-PC22 CL-PC22 Public

   Coherent Logic at Proof and Computation, 2022

   TeX 2 2

3. testrepository testrepository Public

   testrepository

   1

4. ZTors ZTors Public

   Construction of the circle in UniMath

   TeX 1 1

5. book book Public

   Forked from HoTT/book

   A textbook on informal homotopy type theory

   TeX

6. pviz pviz Public

   Further development of the pplex project

   Java