ProofCafe - Coq2Scala#Coq to Scala English ##概要 Coq2ScalaはCoqのExtraction機能に関する拡張です。 Coq2ScalaはCoqで定義されたアルゴリズムをScalaと連携しJVM上で高速に動作させることを可能にします。 開発者: 今井宜洋(ITプランニング)、姜帆(東京大学 情報理工学系研究科) ハッシュタグ: #coq2scala リポジトリ: http://bitbucket.org/yoshihiro503/coq2scala ##アルゴリズム Mprime_annot ##ダウンロード こちらからパッチをダウンロードできます: https://bitbucket.org/yoshihiro503/coq2scala/downloads ##インストール 1. 上記から差分ファイルをダウンロードし、対応するcoqのソースコードもCoq本家から取得します。 2.
