Explore projects
-
JLogic / SMGloL / Sales-Contract-Law
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Civil-Law
Creative Commons Attribution Share Alike 4.0 InternationalBasic Civil Law.
mostly in German -Updated -
JLogic / SMGloL / Personal-Data-Protection-Law
Creative Commons Attribution Share Alike 4.0 InternationalThis is the Archive for the European GDPR (General Data Protection Regulation).
For conceptual purposes this Archive is called Personal-Data-Protection-Law.
Updated -
XML Coq Exports / coq-function-ninjas.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
JLogic / SMGloL / Legal-Primitives
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
urabenstein / physics-units
Creative Commons Attribution Share Alike 4.0 InternationalTom's guided research project
Updated -
SMGloM / orga
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
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 -
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 -
SvenWille / mmtextensions
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Talks / sTeX
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
FTML / doc
Creative Commons Attribution Share Alike 4.0 InternationalUpdated