| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| feature/day17 | Lean 4.25 | Andreas Grois | 10 months | |
| main | Remove useless simp_wf tactic calls | Andreas Grois | 21 months | |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |