| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| feature/day17 | Lean 4.25 | Andreas Grois | 6 months | |
| main | Remove useless simp_wf tactic calls | Andreas Grois | 17 months | |
| Age | Commit message | Author | Files | Lines |
| 2024-12-17 | Remove useless simp_wf tactic callsHEADmain | Andreas Grois | 3 | -3/+0 |
| 2024-12-17 | Lean 4.14 | Andreas Grois | 6 | -12/+12 |
| 2024-12-16 | Day 16 Part 2 | Andreas Grois | 3 | -0/+76 |
| 2024-12-15 | Day 16, part 1 | Andreas Grois | 2 | -7/+190 |
| 2024-12-14 | Begin Day16 | Andreas Grois | 7 | -0/+332 |
| 2024-12-01 | Minor, indentation | Andreas Grois | 1 | -1/+1 |
| 2024-12-01 | Change Day15 Part 2 to not use do-notation. | Andreas Grois | 1 | -8/+10 |
| 2024-12-01 | Day 15, Part 2 | Andreas Grois | 2 | -8/+129 |
| 2024-12-01 | Day15, Part1 | Andreas Grois | 4 | -0/+33 |
| 2024-11-29 | Change all imports from Lean to Std to reduce binary size. | Andreas Grois | 4 | -7/+7 |
| [...] | ||||
| Clone | ||||
| http://git.grois.info/aoc-2023 | ||||
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |