目录
自动化证明
条目：6
2026年三月
5 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
2026年二月
1 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 1min | newspaper
Lean 4 定理证明器原理与AI竞争新优势 02-21
Lean 4
定理证明器
形式化验证 |
无匹配条目