wercker を使って Coq コードを CI する - Qiitawercker の Coq box をけっこう前に作っていたのでその紹介です。 wercker は Travis CI のような CI as a Service と呼ばれる類の Web サービスです。基本無料です。 wercker では任意のアプリケーションをインストールした環境 (box といいます) を自分で作ることができて、その環境を使って CI をすることができます。 使い方 GitHub または Bitbucket にリポジトリ (Private でも可) を作り、wercker にそのリポジトリを登録します。 Make というファイルを作り、下のように Coq ファイルの名前を書いていきます。 ファイル名は Make でなくてもいいのですが、Coq演習第7回 に「Makeという名前にすることが多い」と書いているとおり ssreflect やその他いろいろなライブラリで Make
