Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification (harmonic.fun) 3 points by d2049 1y ago ↗ HN
0 comments
[ 4.7 ms ] story [ 13.9 ms ] threadNo comments yet.