In the READEME.md <https://groups.google.com/d/forum/ontomathpro> is referenced. However, this link seems to be not available anymore.