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