Lean形式化系统

技术

作为RL验证环境并可扩展Mathlib定理库的证明助手

1 次提及2 个连接首次出现: 2026-07-03最近出现: 2026-07-03

关系图谱

关系 (2)

使用 (2)

OpenAI Google DeepMind

相关文章 (1)