Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification #1 Post by d2049 » Tue, Jul 29, 2025, 8:30 PM UTC Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verificationharmonic.fun