Revision 08db74d24d84e461d8a9ce8e2e46086170206e29

Coq2Scala

#Coq to Scala

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

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

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

##使い方

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

##coq2scalaを利用したソフトウェア - CoqInCoq for Scala

##未実装機能

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