I have added a page https://github.com/OpenMath/OpenMath.github.io/blob/master/sts/index.md (https://openmath.github.io/sts/index.html) that starts describing the STS infrastructure. This needs to be improved.
I have added a page https://github.com/OpenMath/OpenMath.github.io/blob/master/sts/index.md (https://openmath.github.io/sts/index.html) that starts describing the STS infrastructure. This needs to be improved.