Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification

3 points| d2049 | 7 months ago |harmonic.fun