3
Formalizing invisible mathematics
source link: https://math.andrej.com/2023/02/13/formalizing-invisible-mathematics/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Formalizing invisible mathematics
Mathematics and Computation
A blog about mathematics for computers
Formalizing invisible mathematics
- 13 February 2023
- Andrej Bauer
- 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.
Posting comments:
At present comments are disabled because the relevant script died.
You are welcome to contact me directly.
© 2019 Andrej Bauer
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK