1. Yoshihiro Imai Avatar Yoshihiro Imai
  2. Untitled project
  3. coq2scala

Downloads

For large uploads, we recommend using the API. Get instructions

Name Size Uploaded by Downloads Date
Download repository 20.1 MB
coq2scala-1.0_for_coq-8.3pl2 62.8 KB Yoshihiro Imai 226