Popular repositories Loading

1. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Agda

2. teorija-programskih-jezikov teorija-programskih-jezikov Public

   Forked from matijapretnar/teorija-programskih-jezikov

   Gradiva s predavanj pri predmetu Teorija programskih jezikov, magistrski študij IŠRM

   TeX

3. bicikelj-api bicikelj-api Public

   OCaml

4. invertible-maps-are-spheres-in-the-universe invertible-maps-are-spheres-in-the-universe Public

   TeX

5. coquand-cantor-computation coquand-cantor-computation Public

6. stone-duality stone-duality Public

   A Lean 4 formalization of the localic stone duality

   HTML