Explore projects
-
-
Updated
-
courses / FAU / KRMT / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
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 -
JLogic / Alea Iuris
Creative Commons Attribution Share Alike 4.0 InternationalSuppenwürfel.
Updated -
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 -
courses / FAU / KRMT / problems
Creative Commons Attribution Share Alike 4.0 InternationalThe problems for the course Computational Logic at Jacobs University
Updated -
-
courses / HNU / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
tps / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalMeta-information for the TPS library
Updated -
Teaching / LBS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
HOLLight / Basic
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated