Advent of Code
My current solutions of Advent of Code in Lean: they are all in Advents.
So far, this repository contains only (partial) solutions to the 2021, 2023 and 2024 editions.
Obviously, if you go to the files with code, there will be spoilers!
The files directly linked from this page should contain virtually no spoilers, except possibly a description of
that involves some parsing of the given text.
As soon as you navigate to a page that is not linked from here, you will likely find spoilers and complete solutions!