Repository of the code within Kuratowski Finite Sets in the UniMath Library research paper
-
Updated
Jun 26, 2023 - Coq
Repository of the code within Kuratowski Finite Sets in the UniMath Library research paper
Add a description, image, and links to the tudelft-cse-research-project topic page so that developers can more easily learn about it.
To associate your repository with the tudelft-cse-research-project topic, visit your repo's landing page and select "manage topics."