index
:
aoc
master
Yearly Advent of Code work.
git daemon user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
2024
/
lean
Mode
Name
Size
-rw-r--r--
Main.lean
327
log
plain
blame
d---------
Solutions
38
log
plain
-rw-r--r--
lakefile.toml
130
log
plain
blame
