AI for Math

数学系エンドユーザーのための Lean 入門

• https://shosonoda.github.io/lean-math-note/

Lebesgue積分論 （Lean Blueprint）

• https://shosonoda.github.io/lean-ksk2026/blueprint/

• (public repo) https://github.com/shosonoda/lean-ksk2026

Deep Learning Theory

集中講義の資料

• TBC