Login
From:
Mathematics and Computation
(Uncensored)
subscribe
Formalizing invisible mathematics
https://math.andrej.com/2023/02/13/formalizing-invisible-mathematics/
links
backlinks
Tagged with:
talks
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
