The dawn of formalized mathematics
Channel: Andrej Bauer
Date: 2021-11-18

Invited talk
Andrej Bauer
June 24, 2021
8th European Congress of Mathematics
Portorož - Slovenia