anurudhpaoc2022

Advent of Code 2022 solutions: Lean4
#advent-of-code #advent-of-code-2022
No README.md in repository.