PlanetMath Redux

PlanetMath Redux is an implementation of the  PlanetMath system based on the Planetary System?. A first, highly experimental installation is running at  http://planetmath.mathweb.org.