Login
Roast topics
Find topics
Find it!
From:
Mathematics and Computation
(Uncensored)
subscribe
Formalizing invisible mathematics
https://math.andrej.com/2023/02/13/formalizing-invisible-mathematics/
links
backlinks
Tagged with:
talks
Roast topics
Find topics
Roast it!
I am at the Machine assisted proofs workshop at the UCLA Institute for Pure and Applied Mathematics, where I am about to give a talk on “Formalizing invisible mathematics”. Here are the slides with speaker notes and the video recording of the talk.
