Verified65% confidenceFactExact time
Lean is an interactive theorem prover and functional programming language led in development by Leonardo de Moura of Microsoft Research.
3
Sources
65%
Confidence
Long-term
Relevance
9/2/2026
First Seen
Sources
Related Entities
Cite This Claim
Stable URI
https://kongchang.com/claim/843218API
curl https://kongchang.com/api/v1/knowledge/claims/843218MCP
get_claim(id=843218)