Advent of Code Some AoC solutions in Lean and in Rust No fancy automation or advanced harness in this repo, just some simple unit tests and input files in the right places.