#Coq to Scala

##概要
[Coq2Scala]()は[Coq](http://coq.inria.fr/)のExtraction機能に関する拡張です。
Coq2ScalaはCoqで定義されたアルゴリズムを[Scala](http://scala-lang.org/)と連携しJVM上で高速に動作させることを可能にします。

- 開発者: [@yoshihiro503](http://twitter.com/yoshihiro503)
- ハッシュタグ: [#coq2scala](http://twitter.com/#!/search?q=%23coq2scala)
- リポジトリ: [http://bitbucket.org/yoshihiro503/coq2scala](http://bitbucket.org/yoshihiro503/coq2scala)

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

[https://bitbucket.org/yoshihiro503/coq2scala/downloads](https://bitbucket.org/yoshihiro503/coq2scala/downloads)

##使い方

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

##coq2scalaを利用したソフトウェア
- [CoqInCoq for Scala](http://d.hatena.ne.jp/yoshihiro503/20111207#p1)

##未実装機能

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