Unverified50% confidenceFactExact time
Lean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本
1
Sources
50%
Confidence
Long-term
Relevance
8/10/2026
First Seen
Sources
Related Claims
Cite This Claim
Stable URI
https://kongchang.com/claim/721296API
curl https://kongchang.com/api/v1/knowledge/claims/721296MCP
get_claim(id=721296)