字号

NavierStokesAndEuler

openai/NavierStokesAndEuler · 海外项目

2.0kGitHub star

Lean主要语言

19 天前出现时间

项目说明

Lean certificates accompanying Navier-Stokes and Euler results