What Meta-Programming Means and Looks Like
Formalization of Mathematics (SLMath) June 05, 2023 - June 16, 2023
Location: MSRI: Simons Auditorium
What Meta-Programming Means And Looks Like
What Meta-Programming Means And Looks Like
Please report video problems to itsupport@msri.org.
See more of our Streaming videos on our main VMath Videos page.