1. Yoshihiro Imai
  2. CoqInCoq_scala

Overview

                          Coq in Coq for Scala
                          ====================


Overview
--------

  This is Scala version of CoqInCoq (http://coq.inria.fr/pylons/contribs/view/CoqInCoq/v8.3)



Requirement
-----------

  * Scala-2.9.1.final (http://scala-lang.org/)

  * coq2scala (http://proofcafe.org/wiki/en/Coq2Scala)



Installation procedure:
-----------------------

  To get this contribution compiled, type

    make 



Author
------

   Yoshihiro Imai
        
E-mail  : y.imai at ocaml.jp 
Twitter : http://twitter.com/yoshihiro503