Hacker News new | ask | show | jobs
by Icy0 635 days ago
I happened to notice the exact same thing when playing with this puzzle in Lean!