Explore projects
-
SMGloM / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated -
MMT / urtheories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / examples
Creative Commons Attribution Share Alike 4.0 InternationalParadigmatic examples of MMT content. They are used for development and regression testing.
Updated -
MMT / experimental
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / LATIN
Creative Commons Attribution Share Alike 4.0 InternationalThe Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
Ion Toloaca / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
MMT / OpenMath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Ion Toloaca / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic at Jacobs University.
Updated -
Ion Toloaca / KWARC
Creative Commons Attribution Share Alike 4.0 InternationalBasics about KWARC, Jacobs, etc. and other missing stuff.
Updated -
Andra Lezza / MoviExplorer
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOLLight / Basic
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Thesis / Assessment
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Heinz Kröger / mv
Creative Commons Attribution Share Alike 4.0 InternationalThe language meta-level of SMGloM
Updated -
-
SMGloM / graphs
Creative Commons Attribution Share Alike 4.0 InternationalGraph Theory Modules in SMGloM
Updated -
SMGloM / algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for elementary algebra.
Updated -
SMGloM / calculus
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for calculus
Updated -
SMGloM / geometry
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for geometry
Updated -
SMGloM / functional-analysis
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / magic
Creative Commons Attribution Share Alike 4.0 Internationalmagic squares and their friends
Updated