$mathematical equations$

Lean

Programming language and theorem prover

Videos

51:48

Lightning talks: Empowering mathematicians with technology

October 18, 2022

graphical user interface

41:36

Research talk: Correct computational law and civil procedure with the Lean Proof Assistant

October 18, 2022

04:10

Opening remarks: Empowering software developers and mathematicians with next-generation AI

October 19, 2021

Speakers : Madan Musuvathi

Affiliation : Microsoft Research Redmond