orpheus/adventofcode2023
Watch
1
0
Fork
You've already forked adventofcode2023
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
3 commits 1 branch 0 tags 41 KiB
  • Lean 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Orpheus Lummis 4bed82756c day1a
2023-12-04 10:45:33 +05:45
Adventofcode2023 init Lean 2023-11-30 10:56:54 +05:45
AOC day1a 2023-12-04 10:45:33 +05:45
data day1a 2023-12-04 10:45:33 +05:45
.gitignore day1a 2023-12-04 10:45:33 +05:45
AOC.lean day1a 2023-12-04 10:45:33 +05:45
lake-manifest.json day1a 2023-12-04 10:45:33 +05:45
lakefile.lean day1a 2023-12-04 10:45:33 +05:45
lean-toolchain day1a 2023-12-04 10:45:33 +05:45
Main.lean day1a 2023-12-04 10:45:33 +05:45
README.md init Lean 2023-11-30 10:56:54 +05:45

README.md

adventofcode2023

https://adventofcode.com/2023

Using Lean 4