Explore projects
-
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 -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Bath / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / research-data
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
dmueller / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
tps / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMeta-information for the TPS library
Updated -
Teaching / LBS1920
Creative Commons Attribution Share Alike 4.0 InternationalThe materials of the LBS course held in WS 2019/20.
Updated -
MMT / OpenMath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / TDM / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
ODK / DiscreteZOO
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOL-Light / hol-light-export
GNU Affero General Public License v3.0Updated -
IMPS / imps
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 22-CICM-sTeX-System-Description
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -