Skip to content
Snippets Groups Projects
M

meta

  • D
  • I

    General Metadata that apply to all MathHub content.

  • K

    A math archive with the KWARC bibs from https://github.com/KWARC/bibs

  • M

    The meta-theories for the schema theories for MathHub data collections

  • T

    Template repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)