Explore projects
-
sTeX / ComputerScience / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HelloWorld / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalAn hello world repository for problems and exams for the MathHub worker.
Updated -
Project consulting activities for group projects (CRCs, RTGs, ...)
UpdatedUpdated -
problems / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
courses / FAU / KRMT / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / ai
Creative Commons Attribution Share Alike 4.0 InternationalThe concepts from the AI lecture at MiKoMH/AI
Updated -
Coq / coqprime
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / AI / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Almanac / Argumentation-Theories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / dlohr
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SMAI / problems
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Isabelle / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMATh / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMetadata for the MMATh documents and formalizations
Updated -
courses / FAU / SMAI / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Contract-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Tutorials / KRMT23
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
SMGloM / db
Creative Commons Attribution Share Alike 4.0 InternationalUpdated