Explore projects

Planning and materials for NORBIS course GENSTAT (2020)

Here you can download all files needed for the V21 exam in INF101

Modeling material for Fish under stress research school and workshop @ Runde, June 2019.

An Agda development of set theory inside homotopy type theory.