Verified85% confidenceFactExact time
Lean was created in 2013 by Leonardo de Moura of Microsoft Research and has since evolved to Lean 4.
5
Sources
85%
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)