English
首页 » 学术活动 » 短期课程 » 正文

数学的形式化——定理证明语言Lean

2025-01-01 15:47:15

时间：

2025年1月6日—1月22日，9:30-11:40,13:30-17:00


地点：

西湖大学云谷校区E10-304


课程表：

undefined