The Semantic Representation of Pure Mathematics—Wolfram Blog
Computable Archive of Mathematics project’s progress in representing abstract concepts of function spaces, topological spaces, general topology in the Wolfram Language.
Source: wolfram.com