Lean-for-math workshop 数学系のためのLean勉強会
Date:
Workshop in Lean (Theorem Prover) workshop at Hybrid Tokyo
数学系のための、証明支援系Leanに関する初歩からの勉強会を、オーガナイザーの一人として開催しました。 Leanの基礎についてや、群論についての教材準備等を行いました。 詳しくは下サイトにて。
Date:
Workshop in Lean (Theorem Prover) workshop at Hybrid Tokyo
数学系のための、証明支援系Leanに関する初歩からの勉強会を、オーガナイザーの一人として開催しました。 Leanの基礎についてや、群論についての教材準備等を行いました。 詳しくは下サイトにて。