Changes to en/Coq2Scala
- 2012-08-31 08:01:19 UTC (): how to install
- 2012-08-31 00:58:03 UTC (): from proved algorithms
- 2012-05-28 05:50:26 UTC (): algorithm M'_annot
- 2012-03-29 02:44:46 UTC (): coq in coq のリポジトリへのリンク
- 2012-03-13 04:19:37 UTC (): add an author Jiang Fan san
- 2012-02-02 03:16:08 UTC (): hashtag's link
- 2012-01-31 15:40:48 UTC (): Fix link
- 2012-01-31 10:20:53 UTC (): English version
- 2012-01-31 10:18:56 UTC (): Coq2Scalaの英語版