Explore projects
-
Teaching / LBS1920
Creative Commons Attribution Share Alike 4.0 InternationalThe materials of the LBS course held in WS 2019/20.
Updated -
MMT / OpenMath
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 22-CICM-sTeX-System-Description
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / DiscreteZOO
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
alignments / Public
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOL-Light / hol-light-export
GNU Affero General Public License v3.0Updated -
IMPS / imps
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Teaching / LBS1819
Creative Commons Attribution Share Alike 4.0 InternationalThe MMT repository for the LBS course in WS 2018/19
Updated -
-
MaMoReD / activedocs
Creative Commons Attribution Share Alike 4.0 InternationalActive documents with models
Updated -
SMGloM / VoLL-KI
Creative Commons Attribution Share Alike 4.0 InternationalsTeX Descriptions of the VoLL-KI Systems
Updated -
SMGloM / lbs
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Teaching / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / math-classes
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
Updated
-
JLogic / SMGloL / Primitives
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / mathcomp-algebra
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / Jacobs / ACS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
Updated