HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
spaccy05
Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs
3 points
spaccy05
2026-04-11T06:33:01Z
news.ycombinator.com