Day10.lean - aoc-2023 - Advent of Code 2023 - I'm still learning Lean4, so please don't judge.

summary refs log tree commit diff

path: root/Day10.lean

blob: c3508a2a21e0d323eb84d2d161f18b3aa6dffd33 (plain) (blame)

1
2
3

namespace Day10

-- I'm going to go with a Dijkstra graph search here.