Loading presentation…
Opening in Keynote for Mac...
Choose Media…
Your browser isn’t fully supported.
For the best Keynote for iCloud experience, use a supported browser.
Learn More
Cancel
Continue
The Dawn of
Formalized Mathematics
Andrej Bauer
University of Ljubljana
8th European Congress of Mathematics
Portorož – Slovenia – July 24
th
2021
T
hese slides are now available at
math.andrej.com
