mathematical equations

Lean

Programming language and theorem prover

Vidéos

Durée   51:48

October 18, 2022

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

graphical user interface Durée   41:36

October 18, 2022

Speakers : Chris Bailey, Sharon Gillett, Jonathan Protzenko

Durée   04:10

October 19, 2021

Speakers : Madan Musuvathi

Affiliation : Microsoft Research Redmond