Operator Algebra Seminars

Seminar information archive ～11/13｜Next seminar｜Future seminars 11/14～

Date, time & place Wednesday 16:30 - 18:00 122Room #122 (Graduate School of Math. Sci. Bldg.)

2024/12/10

15:00-16:30   Room #002 (Graduate School of Math. Sci. Bldg.)
Yoh Tanimoto (Univ. Rome, "Tor Vergata")
Introduction to Lean theorem prover

[ Reference URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm