Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
Simons Institute for the Theory of Computing, UC Berkeley · AWS
MathematicsVideo · 1 h 25 min · Captions
Leonardo de Moura
AWS,
1 talk
We use cookies for analytics.
AWS,
1 talk