Introduction to Formalized Mathematics
Formalization of Mathematics (SLMath) June 05, 2023 - June 16, 2023
Location: SLMath: Eisenbud Auditorium
Introduction To Formalized Mathematics
Introduction To Formalized Mathematics
Please report video problems to itsupport@slmath.org.
See more of our Streaming videos on our main VMath Videos page.