DeNA Testing Blog

Make Testing Fun, Smart, and Delighting End-Users

定理証明支援ツール

Isabelle/Isar勉強会を社内で開催しました

こんにちは、SWETグループの鈴木穂高(@hoddy3190)です。 SWETグループのメンバー向けにIsabelle/Isar勉強会を開催しました。本記事では、勉強会の概要の紹介と、勉強会の資料の公開をします。 もしよろしければご活用ください。 Isabelleとは Isabelleは、…