Primary LanguageLeanApache License 2.0Apache-2.0
Run bin with: lake exe advent-of-lean
lake exe advent-of-lean