Explore projects
-
MMATh / models
Creative Commons Attribution Share Alike 4.0 Internationalexperiments on modelling
Updated -
XML Coq Exports / coq-geometric-algebra.0.8.8
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-hammer.1.1-8.9
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 -
meta / template
Creative Commons Attribution Share Alike 4.0 InternationalTemplate repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)
Updated -
SMGloM / topology
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for topology
Updated -
SMGloM / computing
Creative Commons Attribution Share Alike 4.0 InternationalBasic concepts about computers and programming
Updated -
SMGloM / linguistics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / GenCS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems of the course General Computer Science at Jacobs University.
Updated -
Updated
-
courses / FAU / LBS / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the lecture Logic Based Language Processing at FAU
Updated -
Updated
-
SMGloM / automata
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / CompLog
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course Computational Logic.
Updated -
SMGloM / TheoCS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated