分野別セミナー

Introduction to Lean theorem prover

SUURI-COOL (Kyushu) セミナー

開催期間

2025.10.31(金)
14:00 ~ 17:00

場所

Online via Zoom / 理化学研究所

講演者

水野 勇磨 (Postdoctoral Researcher, University College Cork, Ireland)

概要