Verified65% confidenceFactTime unknown

Lean是由微软研究院Leonardo de Moura开发的交互式定理证明器和函数式编程语言

3

Sources

65%

Confidence

Long-term

Relevance

5/31/2026

First Seen

Sources

陶哲轩用Claude Code做数学证明审查：红队任务比蓝队更有价值

bilibili至高机器智能

Related Entities

Leanproduct 微软研究院organization Leonardo de Mouraperson

Related Claims

UnverifiedLean由微软研究院的Leonardo de Moura于2013年创建，目前已发展到Lean 4版本71% similar Unverified吴恩达联合Replit推出了一门名为《Vibe Coding 101 with Replit》的新课程，系统讲解如何利用AI编程代理快速构建和部署Web应用52% similar Unverified该项目使用HBuilder X、Cursor和微信小程序开发者工具三件套进行开发50% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/11898

API

curl https://kongchang.com/api/v1/knowledge/claims/11898

MCP

get_claim(id=11898)