d2049

↗ HN profile [ 287 ms ] full profile

Karma: 0
Created: ()
Submissions: 0

Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun)

3 points 11mo ago 0