Commit 169cfd07 authored by Michael Kohlhase's avatar Michael Kohlhase


parent 0af74bf5
Pipeline #1839 passed with stage
in 2 minutes and 24 seconds
......@@ -27,7 +27,7 @@ The SMGloM is a structured terminology for mathematics. It combines lexical info
* [the sources on](, written in
[sTeX](/systems/sTeX) (a semantic version of LaTeX.
* A
[generated dictionary](ttps://
[generated dictionary](
* Various generated glossaries on the
[SMGloM applictations repository]( for
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment