終了 2022/03/26（土） 13:30〜

第122回 ProofCafe

名古屋Coq勉強会

SUHARA Hiromichi 他

オンライン(skype)