Explore GitLab

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


  • 0
    updated
  • MMT / examples

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

    1
    updated
  • MitM / smglom

    A MMT counterpart to the elementary math in SMGloM

    3
    updated
  • 0
    updated
  • MMT / LFX

    Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

    0
    updated
  • SMGloM / primes

    Subglossary of primes in SMGloM

    0
    updated
  • 0
    updated
  • SMGloM / manifolds

    This SMGloM repository contains modules specifying manifolds and their properties.

    0
    updated
  • 0
    updated
  • 0
    updated
  • MiKoMH / meta-inf

    The metadata for the MiKoMH project at MathHub.info

    0
    updated
  • MiKoMH / TDM

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

    0
    updated
  • MiKoMH / LBS

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

    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 / IWGS

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

    0
    updated
  • MMT / LATIN

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

    1
    updated
  • Test / General

    General Tests (Views, Structures, etc.)

    0
    updated
  • MiKoMH / GenICT

    The Course General ICT at Jacobs University

    0
    updated