Explore GitLab

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


  • MMT / examples

    Paradigmatic examples of MMT content. They are used for development and regression testing.

    1
    updated
  • MMT / LATIN

    The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

    1
    updated
  • MiKoMH / talks

    Slides and notes for talks held by Michael Kohlhase

    0
    updated
  • MiKoMH / IWGS

    The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

    0
    updated
  • MiKoMH / TDM

    The slides and course notes for the course Text and Digital Media at Jacobs University

    0
    updated
  • MiKoMH / GenCS

    The slides and course notes of the course General Computer Science at Jacobs University.

    0
    updated
  • MiKoMH / ComSem

    The slides and course notes of the course Computational NL Semantics at Jacobs University.

    0
    updated
  • MiKoMH / AI

    The slides and course notes for the course Artificial Intelligence at Jacobs University

    0
    updated
  • MiKoMH / LBS

    The course materials for the Lecture Logic Based Language Processing at FAU

    0
    updated
  • Michael Kohlhase / data-proposal

    temporary home for the EOSC proposal.

    0
    updated
  • MitM / smglom

    A MMT counterpart to the elementary math in SMGloM

    3
    updated
  • SMGloM / calculus

    The SMGloM modules for calculus

    0
    updated
  • SMGloM / topology

    The SMGloM modules for topology

    0
    updated
  • SMGloM / sets

    Elementary set theory for the SMGloM

    0
    updated
  • 0
    updated
  • 0
    updated
  • SMGloM / graphs

    Graph Theory Modules in SMGloM

    0
    updated
  • SMGloM / algebra

    The SMGloM modules for elementary algebra.

    0
    updated
  • SMGloM / trigonometry

    trigonometric functions

    0
    updated
  • SMGloM / linear-algebra

    The SMGloM modules on linear algebra.

    0
    updated