Verified65% confidenceFactTime unknown
Lean是由微软研究院Leonardo de Moura开发的交互式定理证明器和函数式编程语言
3
Sources
65%
Confidence
Long-term
Relevance
5/31/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedLean was created in 2013 by Leonardo de Moura of Microsoft Research and has since evolved to Lean 4.71% similarUnverifiedAndrew Ng partnered with Replit to launch a new course called 《Vibe Coding 101 with Replit》, which systematically explains how to quickly build and deploy web applications using AI programming agents.52% similarUnverifiedThe project uses a trio of HBuilder X, Cursor, and WeChat MiniProgram Developer Tools for development.50% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/11898API
curl https://kongchang.com/api/v1/knowledge/claims/11898MCP
get_claim(id=11898)