Forked from
KWARC / kwarc.info / www
1190 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
smglom.md 243 B
layout: project
menu_title: SMGloM
title: "The Semantic, Multilingual Glossary of Mathematics"
pillar: KMR
start: 2013-11
people: mkohlhase,cjucovshi,miancu