From 1d5ed3c30bc0c15876d71d3da74dd3e00a1932c3 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 28 Jul 2020 16:01:02 +0200 Subject: [PATCH] typo --- systems/smglom.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/systems/smglom.md b/systems/smglom.md index 6411af1..50964a6 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -22,7 +22,7 @@ publink: http://kwarc.github.io/bibs/smglom The SMGloM is a structured terminology for mathematics. It combines lexical information about the "Words of Mathematics" (in multiple languages) with semantic information about their dependencies. Multiple services can be derived from this terminology, e.g. a [classical glossary](https://mathhub.info/mh/glossary) and a [math dictionary](https://mathhub.info/mh/dictionary). ## Resources -* [SMGloM at MathHub.info](https://mathhub.info/smglom), and +* [SMGloM at MathHub.info](https://mathhub.info/library/group?lang=en&id=smglom), and * [the sources on gl.mathhub.info](https://gl.mathhub.info/smglom), written in [sTeX](/systems/sTeX) (a semantic version of LaTeX. * A -- GitLab