みずぴー日記

人間の再起動ボタンはハワイのビーチにある

2014-04-01から1ヶ月間の記事一覧

ssreflectインストール方法まとめ(Windowsもあるよ!)

「春は証明をはじめる季節」と某氏*1がよくわからないことを言いだしたので、Modern Coqことssreflectの勉強会を開催しました。(スタートssreflect #1) 勉強会にはだいたい30人くらいの方が参加し*2、全員がssreflectを使った証明を実際に行いました。そのた…