This repo exists because I wished I had something like it during my AAD course. It should be noted that proof of these solutions are not perfect and should not be used as a template for your own formalized solutions, these are in my opinion in the best quality I could achieve in the time I had to make them. Good luck on your journey!
All three projects are solutions for their respective Codeforces problem. Each folder contains:
- A formalized proof of the solution written in LaTeX.
- A Python script for the solution given the input data.
- A tester script that generates
nrandomized test cases and verifies the solver's solution using a brute force algorithm.