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/