| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Continue Day10 Part2 | Andreas Grois | 2024-09-09 | 1 | -6/+54 |
| | | |||||
| * | Begin Day 10 Part 2 | Andreas Grois | 2024-09-08 | 1 | -11/+38 |
| | | |||||
| * | Fix issue in Day10 Part1 end condition. | Andreas Grois | 2024-09-08 | 1 | -1/+1 |
| | | |||||
| * | Day 10 Part 1 | Andreas Grois | 2024-09-08 | 1 | -34/+57 |
| | | |||||
| * | Begin implementing Day10 Part1 | Andreas Grois | 2024-09-08 | 1 | -34/+344 |
| | | |||||
| * | Day 10 Parsing. If I don' want to prove the inverse, it's done. | Andreas Grois | 2024-09-07 | 1 | -6/+100 |
| | | |||||
| * | Parser for Day10, maybe done. | Andreas Grois | 2024-09-05 | 1 | -12/+136 |
| | | |||||
| * | Continue day10 input parsing proofs | Andreas Grois | 2024-09-05 | 1 | -4/+80 |
| | | |||||
| * | Contineu Area.ParseRaw_start_position | Andreas Grois | 2024-09-04 | 1 | -3/+19 |
| | | |||||
| * | Unfinished rewrite of Area.parse | Andreas Grois | 2024-09-04 | 1 | -45/+299 |
| | | |||||
| * | First draft of input-parsing function for Day 10. | Andreas Grois | 2024-09-02 | 1 | -1/+111 |
| | | | | | Fail to prove anything for it... | ||||
| * | Incomplete Heap implementation. | Andreas Grois | 2023-12-11 | 1 | -0/+3 |
 |
index : aoc-2023 | |
| Advent of Code 2023 - I'm still learning Lean4, so please don't judge. | Andreas Grois |
| summaryrefslogtreecommitdiff |
path: root/Day10.lean