mathematical equations

Lean

Programming language and theorem prover

视频

持续时间   51:48

2022年10月18日

Speakers : Jeremy Avigad, Leonardo de Moura, Heather Macbeth, Jaime Teevan

graphical user interface 持续时间   41:36

2022年10月18日

Speakers : Chris Bailey, Sharon Gillett, Jonathan Protzenko

持续时间   04:10

2021年10月19日

Speakers : Madan Musuvathi

所属单位 : Microsoft Research Redmond