Correct Programs

As an important part of our corpus, we provide programs annotated with contracts with no obvious bugs.

Contents:

• Common
• Solutions to Advent of Code 2020
• Solutions to ETHZ “Introduction to Programming” 2019