AI Stack

TAGS / TERM

Lean 4

共 7 篇

  1. Leanstral：面向可信编码与形式化证明的开源智能体 2026-03-17 · HACKER_NEWS
  2. Leanstral：面向可信编码与形式化证明的开源智能体 2026-03-17 · HACKER_NEWS
  3. Lean 4 定理证明器工作原理及其在 AI 领域的竞争优势 2026-02-21 · HACKER_NEWS
  4. Lean 4 定理证明器工作原理及其在 AI 领域的新优势 2026-02-21 · HACKER_NEWS
  5. Lean 4 定理证明器原理与AI竞争新优势 2026-02-21 · HACKER_NEWS
  6. Lean 4 定理证明器工作原理及其在 AI 领域的新竞争优势 2026-02-21 · HACKER_NEWS
  7. Lean 4 定理证明器工作原理及其在 AI 领域的竞争优势 2026-02-21 · HACKER_NEWS