summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Lean 4.25feature/day17Andreas Grois2025-11-1611-23/+23
* Lean 4.24Andreas Grois2025-11-163-4/+4
* Lean 4.23Andreas Grois2025-11-168-18/+17
* Lean 4.21Andreas Grois2025-11-024-7/+7
* Lean 4.20.1Andreas Grois2025-10-124-11/+7
* Lean 4.19Andreas Grois2025-10-1211-20/+20
* Lean 4.18Andreas Grois2025-10-1011-28/+33
* Lean 4.17Andreas Grois2025-04-135-10/+10
* Lean 4.16Andreas Grois2025-04-135-17/+16
* Lean 4.15Andreas Grois2025-01-075-8/+8
* Move AStar into a separte library and use it for Day17-1Andreas Grois2025-01-057-450/+61
* Complete Day 17 Part 1Andreas Grois2024-12-222-0/+14
* Add Day 17 InputAndreas Grois2024-12-222-2/+141
* Day 17, part 1 (hopefully)Andreas Grois2024-12-226-23/+274
* Continue Day17Andreas Grois2024-12-217-8/+450
* Start Day 17Andreas Grois2024-12-182-0/+77
* Remove useless simp_wf tactic callsHEADmainAndreas Grois2024-12-173-3/+0
* Lean 4.14Andreas Grois2024-12-176-12/+12
* Day 16 Part 2Andreas Grois2024-12-163-0/+76
* Day 16, part 1Andreas Grois2024-12-152-7/+190
* Begin Day16Andreas Grois2024-12-147-0/+332
* Minor, indentationAndreas Grois2024-12-011-1/+1
* Change Day15 Part 2 to not use do-notation.Andreas Grois2024-12-011-8/+10
* Day 15, Part 2Andreas Grois2024-12-012-8/+129
* Day15, Part1Andreas Grois2024-12-014-0/+33
* Change all imports from Lean to Std to reduce binary size.Andreas Grois2024-11-294-7/+7
* Minor optimization of day 14 part 2.Andreas Grois2024-11-291-5/+9
* Day14 Part 2Andreas Grois2024-11-292-70/+180
* Day 14, Part 1.Andreas Grois2024-11-286-0/+299
* Day13 Part2Andreas Grois2024-11-262-16/+34
* Day 13, Part 1Andreas Grois2024-11-255-0/+1555
* Fix deprecation warnings for Lean 4.13Andreas Grois2024-11-225-27/+27
* Update to Lean 4.13Andreas Grois2024-11-223-13/+11
* Day 12 Part 2Andreas Grois2024-09-242-20/+44
* Day 12 Part 1.Andreas Grois2024-09-243-10/+142
* Continue Day12Andreas Grois2024-09-236-7/+1103
* Begin Day12Andreas Grois2024-09-232-0/+37
* Day11: Comment out test codeAndreas Grois2024-09-191-16/+16
* Day11Andreas Grois2024-09-192-19/+74
* Continue a bit with Day 11 Part 1Andreas Grois2024-09-192-4/+75
* Day 11 ParsingAndreas Grois2024-09-195-24/+276
* Continue Day11/ParsingAndreas Grois2024-09-182-0/+37
* Begin Day 11.Andreas Grois2024-09-185-0/+52
* Revisit Day10 Part1 to account for multiple solutionsAndreas Grois2024-09-161-32/+50
* Day 10, Part 2Andreas Grois2024-09-164-100/+175
* Continue Day 10 Part 2. Solutions. Finally. But not final solutions.Andreas Grois2024-09-131-32/+138
* Continue Day10 Part2Andreas Grois2024-09-121-1/+88
* Continue Day10 Part 2Andreas Grois2024-09-111-24/+68
* Continue Day10 Part 2.Andreas Grois2024-09-111-48/+67
* Continue Day10 Part2Andreas Grois2024-09-111-12/+103
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 11:16:58 +0000