Information on MathBases

MathBases.org brings together

The site supersedes MathDB and is still under construction, but we welcome pull requests on Github.

The MathBases project is part of the code4math community.