Very nice approach, I was thinking about how to do it, but couldn’t figure it out in the end, and just did memoization manually.

I’ll revisit my code later and I’ll try to use your approach.

Looks great. I’m also taking this AoC to learn #Lean4

Here are my solutions: github.com/mfornet/adve...