已验证65% 置信事实时间未知

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

3

来源数

65%

置信度

长期有效

时效性

2026/5/31

首次发现

来源

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

bilibili至高机器智能

涉及实体

Leanproduct 微软研究院organization Leonardo de Mouraperson

相关事实

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

引用此条事实

Stable URI

https://kongchang.com/claim/11898

API

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

MCP

get_claim(id=11898)