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
You can find the problems here!
- Concurrency
- Favourite Computer Game
- Infinitude of Primes