Explore projects
-
An Agda development of set theory inside homotopy type theory.
Updated -
-
Updated
-
Håkon Gylterud / Pandoc Theorem
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Verktøy for å periodisere og produsere uttrekk av arkiv
Updated -
-
-
-
Updated
-