已验证65% 置信事实精确时间
Lean是一种交互式定理证明器和函数式编程语言，由微软研究院的Leonardo de Moura主导开发
3
来源数
65%
置信度
长期有效
时效性
2026/9/2
首次发现
来源
涉及实体
引用此条事实
Stable URI
https://kongchang.com/claim/843218API
curl https://kongchang.com/api/v1/knowledge/claims/843218MCP
get_claim(id=843218)