Universität Bonn

About the Institute
Proposals
Programs
For Guests
Outreach
Events
Bonn Mathematics

You are here:

HIM
Video Recordings
TP_2024_02_WS_1_Video
YouTube_Video
Panel Discussion on Formalization in Mathematics

Panel Discussion on Formalization in Mathematics

External Video-URL

https://youtu.be/XE6CWqO9PBo

Preview-Image

Wird geladen

Bonn Mathematics | To Main Portal

Imprint Data protection policy