Operator Algebra Seminars

Seminar information archive ～08/01｜Next seminar｜Future seminars 08/02～

Date, time & place Monday 15:30 - 17:00 Room # (Graduate School of Math. Sci. Bldg.)
Organizer(s) MATUI Hiroki, KIDA Yoshikata, KAWAHIGASHI Yasuyuki

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