hwayne/lets-prove-leftpad
View on GitHub ↗ ★ 758 SystemVerilog
Proving leftpad correct two-dozen different ways
9 mentions on Hacker News by 6 people: 4 stories, 5 comments · first 2020-02-14 · latest 2025-11-03
20082026
-
▲ 2
Let's Prove Leftpadstory by asplake · 2025-10-07 · 1 comment
-
▲ 2
Proving leftpad correct two-dozen different waysstory by nequo · 2024-06-12 · 0 comments
-
▲ 2
Let's Prove Leftpadstory by nextos · 2021-10-02 · 0 comments
-
▲ 1
Let’s Prove Leftpad (Comparing proof tools)story by mbrodersen · 2021-06-24 · 0 comments