Universität Bonn

About the Institute
Proposals
Programs
For Guests
Outreach
Events
HCM
Bonn Mathematics

You are here:

HIM
Video Recordings
TP_2024_02_Seminar_Series
YouTube_Video
Sina Hazratpour: Linear Algebra Game in Lean

Sina Hazratpour: Linear Algebra Game in Lean

External Video-URL

https://www.youtube.com/watch?v=f8LuzA7k4K4

Preview-Image

Wird geladen

Bonn Mathematics | To Main Portal

Imprint Data protection policy