Comment by Icy0 Comment by Icy0 2 days ago 0 replies Copy Link View on Hacker News I happened to notice the exact same thing when playing with this puzzle in Lean!