hwayne/lets-prove-leftpad

Proving leftpad correct two-dozen different ways

2 best points · 1 comments · 4 Hacker News posts · 760 GitHub stars · View on GitHub

Hacker News discussions

• Let's Prove Leftpad (2 points, 0 comments, by nextos, 2021-10-02)
• Proving leftpad correct two-dozen different ways (2 points, 0 comments, by nequo, 2024-06-12)
• Let's Prove Leftpad (2 points, 1 comments, by asplake, 2025-10-07)
• Let’s Prove Leftpad (Comparing proof tools) (1 points, 0 comments, by mbrodersen, 2021-06-24)