06 Oct 2023
1h 25m
Machine-Checked Proofs and the Rise of Formal Methods in Mathematics | Theoretically Speaking
Simons Institute
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.