GitHub repository: se-tuebingen-exercises-ws24/design-by-contract
Primary language: Scala
Created: 2024-12-11T12:10:39Z
Description: Example repository containing the demo code for the DbC lecture