Revision 393113441bc4f78c2e8d4dcab8f3235cfbde9c01

Coq2Scala

Coq to Scala

Coq to ScalaCoqの拡張です。 Coq to Scalaによって動作が証明されたScalaのプログラムを得ることができます。

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