全部项目
当前范围的仓库 4 · UTC 2026-11-04
对比排名项目StarFork30 天趋势7 天净增最近推送登录后收藏
1—Bbendlang / bendBend 2：一种通过证明阻止人工智能错误的快速语言。安装：curl -fsSL https://bend-lang.com/install.sh |嘘TypeScriptApache-2.0 · 宽松，可直接商用名次历史不足24,677791——2026-11-03
2—Rrocq-prover / rocqRocq Prover 是一款交互式定理证明器或证明助手。它提供了一种用于编写数学定义、可执行算法和定理的形式语言，以及用于机器检查证明的半交互式开发的环境。OCamlLGPL-2.1 · 需开源衍生作品名次历史不足5,655771——2026-11-02
3—Ggoogle-deepmind / alphageometry用于复现 DDAR 与 AlphaGeometry 几何定理证明器的代码，配合论文研究求解奥林匹克几何问题。PythonApache-2.0 · 宽松，可直接商用名次历史不足4,903572——2026-01-13
4—Hh5i-dev / h5i基于 Axum 的 Rust Web 框架，用于使用 Lean 4 构建和验证 Web 应用程序，具有可选的 GPU 加速以及用于红队和 CI/CD 的集成开发基础设施。RustApache-2.0 · 宽松，可直接商用名次历史不足88777——2026-11-02
商用三档依据许可证元数据自动分类；具体义务需结合实际使用方式核对。未知不等于禁止商用。