Explore projects
-
SMGloM / lbs
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / IWGS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Legal-General-Terms
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / topology
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for topology
Updated -
XML Coq Exports / coq-mathcomp-multinomials.1.1
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / mbgen
Creative Commons Attribution Share Alike 4.0 Internationalmbgen meta-theory and demo schema theories
Updated -
MMATh / models
Creative Commons Attribution Share Alike 4.0 Internationalexperiments on modelling
Updated -
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 / cogsci
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / IISc / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Administrative-Law
Creative Commons Attribution Share Alike 4.0 InternationalBasic Administrative Law e.g. administrative acts and discretion of such.
Updated -
courses / Jacobs / TDM / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes for the course Text and Digital Media at Jacobs University
Updated -
SMGloM / linguistics
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / computing
Creative Commons Attribution Share Alike 4.0 InternationalBasic concepts about computers and programming
Updated -
courses / IISc / logic
Creative Commons Attribution Share Alike 4.0 InternationalUpdated