| 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 |
| 2025-11-16 | Lean 4.25feature/day17 | Andreas Grois | 11 | -23/+23 |
| 2025-11-16 | Lean 4.24 | Andreas Grois | 3 | -4/+4 |
| 2025-11-16 | Lean 4.23 | Andreas Grois | 8 | -18/+17 |
| 2025-11-02 | Lean 4.21 | Andreas Grois | 4 | -7/+7 |
| 2025-10-12 | Lean 4.20.1 | Andreas Grois | 4 | -11/+7 |
| 2025-10-12 | Lean 4.19 | Andreas Grois | 11 | -20/+20 |
| 2025-10-10 | Lean 4.18 | Andreas Grois | 11 | -28/+33 |
| 2025-04-13 | Lean 4.17 | Andreas Grois | 5 | -10/+10 |
| 2025-04-13 | Lean 4.16 | Andreas Grois | 5 | -17/+16 |
| 2025-01-07 | Lean 4.15 | Andreas Grois | 5 | -8/+8 |
| [...] | ||||
| 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 |