Mechanization_videos

The recordings of the lectures at the public symposium Mathematics in the Age of Automated Proofs are now available!