lean-lang.org 引用 近期 工具
Lean Programming Language
Lean 是开源编程语言与证明助手，用于形式化数学和可验证软件。
资源信息
- 域名
- lean-lang.org
- 内容类型
- 工具（tool）
- 主题
- 立场
- 引用（reference）
- 提及
- 4 次提及，4 位提及者
- 合集
- 近期（recent）
- 提及年份
- 2026
- 综合推荐分
- 4.4
推荐理由
Cites Lean as an example of work enabling formal proof validation.
HN 评论原话
“There is a lot of recent work on the Lean project -- when a proof can be translated into Lean code, then it can be strictly and formally validated.”
网页原文证据
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code
网页抓取状态
成功（ok）