第95回 ProofCafe

2020/01/25(土)14:30 〜 17:30 開催
ブックマーク
読書会

イベント内容

萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版　の4章を読んでいきます。

ご注意：今回より、毎月 第 4 土曜日 に変更になります。

以上

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（connpass）へ