Explore projects
-
MaMoReD / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe metadata for the MaMoReD project at MathHub.info
Updated -
ODK / Singular
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / almanac
Creative Commons Attribution Share Alike 4.0 InternationalFormalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
Updated -
Sascha Dörflein / algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for elementary algebra.
Updated -
ODK / knowls
Creative Commons Attribution Share Alike 4.0 InternationalLMFDB Knowls exported to sTeX.
Updated -
Almanac / Modal-Logics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Almanac / Argumentation-Theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / Demos
Creative Commons Attribution Share Alike 4.0 InternationalDemos for OpenDreamKit WP6
Updated -
MMATh / models
Creative Commons Attribution Share Alike 4.0 Internationalexperiments on modelling
Updated -
MMATh / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMetadata for the MMATh documents and formalizations
Updated -
Almanac / context-graph
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Isabelle / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Tutorials / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / MDDL
Creative Commons Attribution Share Alike 4.0 InternationalThe meta-theories for the schema theories for MathHub data collections
Updated -
Teaching / LBS1920
Creative Commons Attribution Share Alike 4.0 InternationalThe materials of the LBS course held in WS 2019/20.
Updated -
MitM / Core
Creative Commons Attribution Share Alike 4.0 InternationalCore formalizations of (elementary) mathematics in MMT
Updated -
COMMA / GLForTheL
Creative Commons Attribution Share Alike 4.0 InternationalGLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.
Updated -
FrameIT / Meta Inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FoMID / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated