aoc-2023/Day11.lean, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/Day11.lean?h=main 2024-09-19T18:25:36Z Day11: Comment out test code 2024-09-19T18:25:36Z Andreas Grois andi@grois.info 2024-09-19T18:25:36Z urn:sha1:41231274d7e5466c89e24414bf567accf5bb2760 Day11 2024-09-19T18:25:02Z Andreas Grois andi@grois.info 2024-09-19T18:25:02Z urn:sha1:e51fe8383dd629470d3468ed37a9dba09c881b6b Continue a bit with Day 11 Part 1 2024-09-19T16:01:11Z Andreas Grois andi@grois.info 2024-09-19T16:01:11Z urn:sha1:898e58a116a17b8606b05ecfefa68a7880b20eec Day 11 Parsing 2024-09-18T22:14:18Z Andreas Grois andi@grois.info 2024-09-18T22:14:18Z urn:sha1:2ceb539bf306992e726280c24ce8d7b69e4c8b5e Begin Day 11. 2024-09-18T08:00:04Z Andreas Grois andi@grois.info 2024-09-18T08:00:04Z urn:sha1:6554499717d70d5656a3b38a20dc60850674a873