Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
Primary LanguageLean
This repository is not active