Projects · Explore · GitLab

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

F

FrameIT / FrameIT

The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.

archived 0 0 1 0

Updated Jun 15, 2020
A

MitM / arithmetics

see https://mathhub.info/smglom/arithmetics

archived 0 0 0 1

Updated Jan 09, 2019
A

MitM / algebra

for now seeded with ODK/math content

archived 0 0 0 0

Updated Jan 09, 2019
T

MitM / theresas-playground

archived 0 0 0 0

Updated Jan 09, 2019