SMGloM

This group contains the SMGloM project. SMGloM aims to become a multilingual, semantic, lexical resource for mathematics.

For documentation, howto information, etc. see the SMGloM Wiki