We use cookies for analytics.

Leonardo de Moura

Computer Science researcher, AWS,

1 talk

Recordings

Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking

Simons Institute for the Theory of Computing, UC Berkeley · AWS

Oct 6, 2023

MathematicsVideo · 1 h 25 min · Captions