Explore projects
-
MaMoReD / activedocs
Creative Commons Attribution Share Alike 4.0 InternationalActive documents with models
Updated -
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 -
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
-
Coq / mathcomp-algebra
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
testing / OMDoc
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / list-plus
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / KRMTSysProj / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / iterable
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Ion Toloaca / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
courses / FAU / RIP / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
courses / HNU / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / SymNLProj / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
-
JLogic / Alea Iuris
Creative Commons Attribution Share Alike 4.0 InternationalSuppenwürfel.
Updated -
Updated