Explore projects
-
courses / FAU / KRMT / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / kwarcbibs
Creative Commons Attribution Share Alike 4.0 InternationalA math archive with the KWARC bibs from https://github.com/KWARC/bibs
Updated -
courses / FAU / IWGS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
problems / smglom
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
KwarcMH / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe metadata for the KwarcMH project at MathHub.info
Updated -
Michael Kohlhase / talks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / oldtalks
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Michael Kohlhase / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe Metadata for the MMATh formalizations and active documents.
Updated -
courses / FAU / AI / problems
Creative Commons Attribution Share Alike 4.0 InternationalHomework/Quiz problems for AI lectures
Updated -
Updated
-
courses / UMR / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UHi / graph-theory
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SMAI / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / topology
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for topology
Updated -
courses / FAU / LBS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / BGB
Creative Commons Attribution Share Alike 4.0 InternationalSemantic Multilingual (one day...) Glossary of the Law
Updated -
courses / FAU / AI / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated