Coq2Scala

#Coq to Scala

##概要 Coq2ScalaはCoqのExtraction機能に関する拡張です。 Coq2ScalaはCoqで定義されたアルゴリズムをScalaと連携しJVM上で高速に動作させることを可能にします。

• 開発者: [@yoshihiro503](http://twitter.com/yoshihiro503)
• ハッシュタグ: #coq2scala
• リポジトリ: http://bitbucket.org/yoshihiro503/coq2scala

##ダウンロード こちらからダウンロードできます:

https://bitbucket.org/yoshihiro503/coq2scala/downloads

##使い方

Extraction Language Scala. と指定し、あとは通常のCoqと同様。

##coq2scalaを利用したソフトウェア CoqInCoq_scala

##未実装機能

• モジュール機能
• Extract Inductiveコマンドによる指定