GitHub Hot Board · Arsip repositori

openai/NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results (Deskripsi berasal dari repositori itu sendiri.)

Data per October 22openai