Y
HN HRCB
new
|
past
|
comments
|
ask
|
show
|
jobs
|
articles
|
domains
|
dashboard
|
seldon
|
network
|
factions
|
velocity
|
about hrcb
home
/
user
/
shariq81
⚙
Starting...
Stop
shariq81
HN profile →
▶ Evaluate All (1)
Stories
1
(0 evaluated)
Avg HRCB
ND
Avg SETL
ND
Avg Conf
ND
1 stories
1.
▶
Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap
(
github.com
)
2 points
by
shariq81
3 days ago
|
|
queued
About HRCB
|
By Right
|
HN Guidelines
|
HN FAQ
|
Source
|
UDHR
|
RSS
build 359ddd7+1rs2 · 2026-02-25 03:53 UTC