Explore projects
-
courses / Jacobs / GenCS / course
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
courses / FAU / SMAI / course
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / education
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Sale-of-Goods
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Primitives
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / GDPR
Creative Commons Attribution Share Alike 4.0 InternationalThis is the Repository for the European General Data Protection Regulation.
at least for nor mostly in English -Updated -
XML Coq Exports / coq-function-ninjas.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Civil-Law
Creative Commons Attribution Share Alike 4.0 InternationalSemantic Glossary of the Law
mostly in German -Updated -
urabenstein / physics-units
Creative Commons Attribution Share Alike 4.0 InternationalTom's guided research project
Updated -
Papers / 26-BAI-FLAMS
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
XML Coq Exports / coq-bignums.8.9.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Teaching / LBS2223
Creative Commons Attribution Share Alike 4.0 InternationalRepository for the LBS lecture, winter semester 2022/2023
Updated -
XML Coq Exports / coq-flocq.3.1.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Coq / equations
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / logic
Creative Commons Attribution Share Alike 4.0 InternationalAn SMGloM Archive for Logic
Updated -
Andra Lezza / MoviExplorer
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Ion Toloaca / KWARC
Creative Commons Attribution Share Alike 4.0 InternationalBasics about KWARC, Jacobs, etc. and other missing stuff.
Updated -
Teaching / LBS2122
Creative Commons Attribution Share Alike 4.0 InternationalUpdated