Coq勉強会を開催しました 2016年2月12日2016年2月12日 IgarashiYuu コメントをする こんにちは，@yu-i9 です． 今回はCAMPHOR- HOUSEで開催されていた Coq勉強会について報告します！ 続きを読む
