开源序
GitHub 开源项目排行
返回榜单
O
openai /
NavierStokesAndEuler
与 Navier-Stokes 和 Euler 计算结果相关的精简证书。
仓库 Star
2,125
总榜 #25,360
Fork
228
最近推送
1 个月前更新
仓库创建
2026 年创建
应用与完整系统
通用
Lean
Apache-2.0 · 宽松，可直接商用
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
项目原文 · GitHub
Lean certificates accompanying Navier-Stokes and Euler results
