#Coq to Scala

[Coq to Scala]()は[Coq](http://coq.inria.fr/)の拡張です。
Coq to Scalaによって動作が証明された[Scala](http://scala-lang.org/)のプログラムを得ることができます。

Coq to Scalaは現在開発中です。
[http://bitbucket.org/yoshihiro503/coq2scala](http://bitbucket.org/yoshihiro503/coq2scala)