終了 2020/07/27（月） 20:30〜

証明ドリル (2) プログラムの証明練習 in Isabelle

hatsugai

オンライン