anywhere-labs/dsh-desktop
这是一个 自动化 方向的 TypeScript 开源项目，主要用于：为 DeepSeek Harness (DSH) 插
1,829GitHub Stars
181Forks
389.9Stars/天
Lean主要语言
项目简介
这是一个 自动化 方向的 Lean 开源项目，主要用于：Lean certificates accompanying Navier-Stokes and Euler results.
Lean certificates accompanying Navier-Stokes and Euler results.
项目信息
| 项目名称 | openai/NavierStokesAndEuler |
| 分类 | 自动化 |
| 主要语言 | Lean |
| Star 数 | 1,829 |
| Fork 数 | 181 |
| 涨星速度 | 389.93 Stars/天 |
| GitHub 地址 | https://github.com/openai/NavierStokesAndEuler |
项目标签
常见问题
openai/NavierStokesAndEuler 是什么？
这是一个 自动化 方向的 Lean 开源项目，主要用于：Lean certificates accompanying Navier-Stokes and Euler results.
openai/NavierStokesAndEuler 是开源免费的吗？
是的，openai/NavierStokesAndEuler 是一个托管在 GitHub 上的开源项目，目前有 1,829 个 Star，181 个 Fork。具体 License 以 GitHub 仓库为准。
openai/NavierStokesAndEuler 适合什么场景？
openai/NavierStokesAndEuler 属于 自动化 方向，这是一个 自动化 方向的 Lean 开源项目，主要用于：Lean certificates accompanying Navier-Stokes and Euler results.。适合需要相关能力的开发者和团队评估使用。