Unverified50% confidenceFactExact time
Lean is an interactive theorem prover developed by Microsoft Research and is one of the representative tools of formal mathematics.
1
Sources
50%
Confidence
Long-term
Relevance
10/8/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedLean is an interactive theorem prover developed by Microsoft Research, with the latest version currently being Lean 4.79% similarUnverifiedLean4 was developed by Microsoft Research and has become the core tool of the formal mathematics community through the Mathlib project promoted by Terence Tao, with tens of thousands of mechanically verified theorems already included.73% similarUnverifiedLean was developed by Microsoft Research and uses dependent type theory as its logical foundation72% similarUnverifiedGoogle的AlphaProof采用了AI生成加形式化验证的双轨架构56% similarUnverifiedMicrosoft's Phi series and Google's Gemma and other small models make extensive use of distillation techniques, enabling them to deliver strong reasoning performance on edge devices.54% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/987134API
curl https://kongchang.com/api/v1/knowledge/claims/987134MCP
get_claim(id=987134)