We present here a corpus of Python programs annotated with contracts.
The corpus includes:
- Solutions to the exercises of the Advent of Code 2020, and
- Solutions to the exercises used during the lecture "Introduction to Programming" at ETH Zurich (Switzerland) in Fall 2019.
Please see the full documentation at: https://python-by-contract-corpus.readthedocs.io/en/latest/