summaryrefslogtreecommitdiff
path: root/Day10.lean
Commit message (Collapse)AuthorAgeFilesLines
* Lean 4.18Andreas Grois2025-10-101-7/+9
|
* Lean 4.17Andreas Grois2025-04-131-2/+2
|
* Lean 4.16Andreas Grois2025-04-131-11/+11
|
* Remove useless simp_wf tactic callsHEADmainAndreas Grois2024-12-171-1/+0
|
* Lean 4.14Andreas Grois2024-12-171-5/+5
|
* Update to Lean 4.13Andreas Grois2024-11-221-11/+9
|
* Revisit Day10 Part1 to account for multiple solutionsAndreas Grois2024-09-161-32/+50
|
* Day 10, Part 2Andreas Grois2024-09-161-99/+164
|
* 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
|
* Continue Day10 Part2Andreas Grois2024-09-101-36/+86
|
* Continue a bit on Day10 Part2Andreas Grois2024-09-101-17/+61
|
* Continue Day10 Part2Andreas Grois2024-09-091-6/+54
|
* Begin Day 10 Part 2Andreas Grois2024-09-081-11/+38
|
* Fix issue in Day10 Part1 end condition.Andreas Grois2024-09-081-1/+1
|
* Day 10 Part 1Andreas Grois2024-09-081-34/+57
|
* Begin implementing Day10 Part1Andreas Grois2024-09-081-34/+344
|
* Day 10 Parsing. If I don' want to prove the inverse, it's done.Andreas Grois2024-09-071-6/+100
|
* Parser for Day10, maybe done.Andreas Grois2024-09-051-12/+136
|
* Continue day10 input parsing proofsAndreas Grois2024-09-051-4/+80
|
* Contineu Area.ParseRaw_start_positionAndreas Grois2024-09-041-3/+19
|
* Unfinished rewrite of Area.parseAndreas Grois2024-09-041-45/+299
|
* First draft of input-parsing function for Day 10.Andreas Grois2024-09-021-1/+111
| | | | Fail to prove anything for it...
* Incomplete Heap implementation.Andreas Grois2023-12-111-0/+3
generated by cgit v1.2.3 (git 2.46.0) at 2026-05-06 15:10:36 +0000