aoc-2023/Common/Option.lean, branch main
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/Common/Option.lean?h=main
2024-09-23T19:31:41Z
Continue Day12
2024-09-23T19:31:41Z
Andreas Grois
andi@grois.info
2024-09-23T19:31:41Z
urn:sha1:5d08e39abca75b775bb7636973bb9c9a3bb908ac
Begin implementing Day10 Part1
2024-09-08T15:00:18Z
Andreas Grois
andi@grois.info
2024-09-08T15:00:18Z
urn:sha1:a6e5f7c0c830308c3912a043d4e741a13d3ce6cd
Day 6
2023-12-07T20:53:19Z
Andreas Grois
andi@grois.info
2023-12-07T20:53:19Z
urn:sha1:e6f4111aa97f34383369577bff011d546d26d000
Day 1
2023-12-01T22:30:43Z
Andreas Grois
andi@grois.info
2023-12-01T22:21:14Z
urn:sha1:24d7fab85b2eb1b7996fd0ceccdd0377f1ce087b