Repository of the code within Kuratowski Finite Sets in the UniMath Library research paper
By Luuk van de Laar Tu delft
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.