已验证85% 置信事实精确时间
Lean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本
5
来源数
85%
置信度
长期有效
时效性
2026/8/10
首次发现
来源
相关事实
引用此条事实
Stable URI
https://kongchang.com/claim/721296API
curl https://kongchang.com/api/v1/knowledge/claims/721296MCP
get_claim(id=721296)