Explore projects
-
FrameIT / Meta Inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / physics-units
Creative Commons Attribution Share Alike 4.0 InternationalUnits and Measurements
Updated -
SMGloM / magic
Creative Commons Attribution Share Alike 4.0 Internationalmagic squares and their friends
Updated -
MitM / Core
Creative Commons Attribution Share Alike 4.0 InternationalCore formalizations of (elementary) mathematics in MMT
Updated -
courses / highschool / SPINF / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / EiDa
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Jürgen Schefter / SMGloM-Doc
Creative Commons Attribution Share Alike 4.0 InternationalDocumentation about the SMGloM
Updated -
Updated
-
Updated
-
SMGloM / units
Creative Commons Attribution Share Alike 4.0 InternationalFoundations of Units and Quantities.
Updated -
Heinz Kröger / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated -
problems / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOLLight / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Bath / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / calculus
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for calculus
Updated -
SMGloM / research-data
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
This export of the MML is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.
Archived 0Updated -
courses / FAU / IWGS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
dmueller / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
scucoco / math
Apache License 2.0Updated