Languages & Runtimes
openai/NavierStokesAndEuler— Lean certificates accompanying Navier-Stokes and Euler results (⭐ 1872, week of 2026-09-14)anthropics/fermats-last-theorem(⭐ 889, week of 2026-09-07)
openai/NavierStokesAndEuler — Lean certificates accompanying Navier-Stokes and Euler results (⭐ 1872, week of 2026-09-14)anthropics/fermats-last-theorem (⭐ 889, week of 2026-09-07)