Laws in SomeExamples importen

Man sollte die bereits bewiesenen Laws auch weiter verwenden dürfen.

Ggf. ans Makefile koppeln, um den Workaround leichter zu gestalten?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information