開催日時: 2026/09/27 20:30 ～ 22:00 開催場所: オンライン
λ KansaiのDiscord内で https://lean-lang.org/functional_programming_in_lean/ をやる会です！
今回は 3.3.3. Default Instances から始めます！
勉強会
オンライン
終了
外部イベント（キュレーション）
『Functional Programming in Lean』輪読会 #21
| 開催日時 | 2026年9月13日(日) 22:02 |
|---|---|
| 開催形式 | オンライン |
| 種別 | 勉強会 |
このイベントは終了しました。
connpass より（外部サービスの掲載情報）
