[Agda] Libraries for (finite) topological spaces?
eduardoochs at gmail.com
Wed Sep 14 15:28:30 CEST 2022
I am working on something - Grothendieck Topologies on topologies on
finite sets - that I would like to formalize in Agda. I tried to find
Agda's libraries for topological spaces to use them as a starting
point, but both googling and grepping returned practically nothing...
Any recommendations? I mean, besides "try to adapt the code for
Thanks in advance!
More information about the Agda