学术活动

Academic activities

学术活动

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

发布时间:2025-01-01

报告人 时间 9:30-17:00
地点 E10-304 2025
月日 01-06 重复类型
重复结束日期

时间:

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

地点:

西湖大学云谷校区E10-304

课程表:


TOP