Isomorphism-is-equality In Unimath

This code was made as part of my bachelor thesis. The aim is to add this code to the UniMath repository, which the code also depends on. By Tiago Greeve TU Delft

Research Project CSE3000

This repository links to the work of students for the Research project course of the CSE bachelor at TU Delft.

Please see their projects here.