S
smglom
A MMT counterpart to the elementary math in SMGloM
Forked from MitM / smglom
-
Christoph Geist authored0d16acb1
| Name |
Last commit
|
Last update |
|---|---|---|
| META-INF | ||
| content/http..mathhub.info/MitM/smglom | ||
| errors/mmt-omdoc | ||
| narration | ||
| relational | ||
| source | ||
| .gitignore | ||
| README.md | ||
| dependency_order.txt | ||
| precedence.txt |