1. 5
    π-Base: The Topology Database ☶ haskell math topology.jdabbs.com
    silky avatar via silky 2 years ago | cached | no comments

A community database of topological examples with automated deduction and powerful search.

Source

  1.