Explore projects
-
-
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
-
-
-
-
-
Per Christian Gaustad / FUP
GNU General Public License v2.0 or laterVerktøy for å konvertere FUP-en til JSON-format og generere nettsiden https://fupperåd.no
Updated -
Updated
-
Homotopy type theory cheatsheets to read the HoTT Book
Updated -
Alexey Nesterenko / Databank
GNU General Public License v3.0 or laterLocal copy for demonstration of submodules
Updated -
GEANT4 code to calculate Mean free Path and average energy loss of photons at a given altitude and a given energy. Can be easily change to other particle types.
Updated -
Updated
-