Explore projects

Datasets for learning purposes

INF252 Project

Create a visualization program for 3D volume visualization for Dr Strangevis

An Agda development of set theory inside homotopy type theory.

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