Homework

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Homework
So, I’ve pushed our current formalizations (with some cleaning up) to
https://gl.mathhub.info/Teaching/krmt19

You can just replace the current Tutorials/Mathematicians folder in your project by that new one :wink:

Your Homework for next week is:

  • Implement theories for commutative magma, commutative semigroup and commutative monoids. Make them modular, i.e. try to include theories wherever possible without writing down anything twice.
    -Implement views from commutative monoids to NaturalAddition and NaturalMultiplication. Again: try to be as modular as possible.