proofground2020-solutions

This repository collects solutions for the tasks of Proof Ground 2020.

You can find the sample solutions the problem committee provided. Participants are welcome to share their submissions via PR.

You can now submit polished versions in the AllTime contest

Proof Ground 2020 - morning session

You can find the problems here!

• Concurrency
• Favourite Computer Game
• Infinitude of Primes

Proof Ground 2020 - afternoon session