AdventOfCode

Solving 2022 Advent of Code problems in Lean 4

Some Lean data structure observations

Array.partition and Array.split seem to be the same, and diverge from List.partition and List.split
Queue is not FIFO?