gridentio HN profile →
Coverage
We've seen 1 of an unknown number of submissions
Full eval: 0 Lite-only: 1 Unevaluated: 0
Quick Scan holistic editorial estimate · 1 lite evaluation
Editorial [E]: 0.00 Llama · truncated content · holistic (not section-level)
1 stories
1.
HRCB ND
E 0.00
S
Lean4 helped Terence Tao discover a small bug in his recent paper (mathstodon.xyz)
497 points by gridentio 869 days ago | 220 comments | hrcb No human rights theme