3,609 followers
A formalization of topological spaces in Coq. ~ Sheng Yan, Yaoshun Fu, Dakai Guo, and Wensheng Yu. https://t.co/HVVxwYFvHt #ITP #Coq #Math
A formalization of topological spaces in Coq. ~ Sheng Yan, Yaoshun Fu, Dakai Guo, and Wensheng Yu. https://t.co/HVVxwYFvHt #ITP #Coq #Math