Revision 393113441bc4f78c2e8d4dcab8f3235cfbde9c01

Coq2Scala

#Coq to Scala

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