Meeting 7 (April 26 2023)

Participaton List

• Lars
• Björn
• Richèl

Things to check

• PlantUML vs mermaid
  • [name=Lars]
  • [name=Björn]

- Change formalism to formalisms everywhere