编译器反馈

技术

Lean 4编译器提供的错误诊断信息，用于指导证明的修复

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

关系图谱

关系 (2)

使用技术 (1)

应用于 (1)

数学定理证明

相关文章 (1)