aoc-2023/Common/BitVec.lean, branch feature/day17
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
https://git.grois.info/aoc-2023/atom/Common/BitVec.lean?h=feature/day17
2025-10-09T22:30:19Z
Lean 4.18
2025-10-09T22:30:19Z
Andreas Grois
andi@grois.info
2025-10-09T22:30:19Z
urn:sha1:2a9261d1ba962deff9fcc1784be44563af513af5
Begin Day16
2024-12-13T23:09:46Z
Andreas Grois
andi@grois.info
2024-12-13T23:09:46Z
urn:sha1:8223584095273bc7bdf7b7dc65a6e168350cdf57