Revision e3ca8e66a45356c4a195aec7071c97c8c98b055a

Coq2Scala

Changes from e3ca8e66a45356c4a195aec7071c97c8c98b055a to 47187b5b2a8014d050649fbaa5409bc4354a7a23

#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と同様。
Extraction Language Scala. と指定し、あとは通常のCoqと同様。

##coq2scalaを利用したソフトウェア
[CoqInCoq_scala](https://bitbucket.org/yoshihiro503/coqincoq_scala)


##未実装機能

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