开源项目Descent用Lean 4形式化验证遗传学

开发者发布了名为 Descent 的开源项目，创新性地将 Lean 4 语言应用于生物学领域，对遗传学理论进行了形式化验证。作者坦诚当前代码库中存在部分冗余代码，但表示项目目标将随着时间推移不断进行优化与完善，以提升整体代码质量。

2026-08-06 ~ 2026-08-06 · 2 条相关