終了 2022/08/27（土） 13:30〜

第127回 ProofCafe

名古屋Coq勉強会

SUHARA Hiromichi 他

オンライン(skype)