summaryrefslogtreecommitdiff
path: root/lakefile.lean
Commit message (Expand)AuthorAgeFilesLines
* Lean 4.16Andreas Grois2025-04-131-2/+2
* Lean 4.15Andreas Grois2025-01-071-2/+2
* Move AStar into a separte library and use it for Day17-1Andreas Grois2025-01-051-0/+3
* Continue Day17Andreas Grois2024-12-211-1/+1
* Start Day 17Andreas Grois2024-12-181-0/+1
* Lean 4.14Andreas Grois2024-12-171-1/+1
* Begin Day16Andreas Grois2024-12-141-0/+1
* Day15, Part1Andreas Grois2024-12-011-0/+1
* Day 14, Part 1.Andreas Grois2024-11-281-0/+1
* Day 13, Part 1Andreas Grois2024-11-251-0/+1
* Update to Lean 4.13Andreas Grois2024-11-221-1/+1
* Begin Day12Andreas Grois2024-09-231-0/+1
* Begin Day 11.Andreas Grois2024-09-181-0/+1
* Day 10, Part 2Andreas Grois2024-09-161-1/+1
* Parser for Day10, maybe done.Andreas Grois2024-09-051-1/+1
* Move BinaryHeap to its own Github project.Andreas Grois2024-09-011-0/+3
* Incomplete Heap implementation.Andreas Grois2023-12-111-8/+1
* Day 9Andreas Grois2023-12-091-0/+2
* Day 8 Part 1Andreas Grois2023-12-081-2/+2
* Day 7Andreas Grois2023-12-081-0/+2
* Allow error messages in parsing (for debugging)Andreas Grois2023-12-071-0/+2
* Day5, part 1Andreas Grois2023-12-061-0/+2
* Day 4Andreas Grois2023-12-041-0/+2
* Day 3Andreas Grois2023-12-031-0/+2
* Day 2Andreas Grois2023-12-021-0/+2
* Day 1Andreas Grois2023-12-011-0/+18
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 13:59:49 +0000