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
shariq81
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
2 points
shariq81
2026-02-21T20:40:50Z
github.com