mzp https://blog.hatena.ne.jp/mzp/ みずぴー日記 https://mzp.hatenablog.com/ 「春は証明をはじめる季節」と某氏*1がよくわからないことを言いだしたので、Modern Coqことssreflectの勉強会を開催しました。(スタートssreflect #1) 勉強会にはだいたい30人くらいの方が参加し*2、全員がssreflectを使った証明を実際に行いました。そのため、30個の様々な環境にssreflectがインストールされたわけなので、その結果をまとめておきます。 元データ https://docs.google.com/spreadsheets/d/1X_vRVO3eizebOyG4tjcChzUZofrE9AGWwMEqUCyKKHs/edit?pli=1#gid=… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmzp.hatenablog.com%2Fentry%2F2014%2F04%2F29%2F105144" title="ssreflectインストール方法まとめ(Windowsもあるよ!) - みずぴー日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/m/mzp/20140426/20140426135019.jpg Hatena Blog https://hatena.blog 2014-04-29 10:51:44 rich https://mzp.hatenablog.com/entry/2014/04/29/105144 1.0 100%