BalanceYan's repositories
ContinuousFunctions
This paper presents the formalization of continuous functions in topological spaces using the Coq proof assistant.
Equivalence_Topologies
We describe the formalization of the equivalence among topologies in the Coq theorem prover.
TopologicalRel
We present a formal system of topological spatial relations using the Coq theorem prover.