終了 2019/11/16(土) 14:30〜
第93回 ProofCafe
名古屋Coq勉強会
yoshihiro503 他
オンライン(skype)
ProofCafe
スライドはありません。
動画はありません。
(未設定)
Coq Code. Contribute to suharahiromichi/coq development by creating an account on GitHub.
投稿者:SUHARA Hiromichi
投稿日:2019年10月20日 10時45分
GitLab.com
Contribute to morita-hm/proofcafe development by creating an account on GitHub.
投稿者:morita_hm
投稿日:2019年11月16日 16時16分
投稿日:2019年11月18日 22時30分
投稿日:2019年11月18日 22時31分