aoc-2023/inputs/day10.input, branch main Advent of Code 2023 - I'm still learning Lean4, so please don't judge. https://git.grois.info/aoc-2023/atom/inputs/day10.input?h=main 2024-09-02T16:10:35Z First draft of input-parsing function for Day 10. 2024-09-02T16:10:35Z Andreas Grois andi@grois.info 2024-09-02T16:10:35Z urn:sha1:266e00cabe466e30a5f89009ccf530868e97455d Fail to prove anything for it...