Sign inSign up

amutake/coq2scala

By amutake

•Updated almost 11 years ago

https://github.com/hemmi/coq2scala

Image
0

719

amutake/coq2scala repository overview

my dockerfiles

Tag summary

Content type

Image

Digest

sha256:25d152f6f…

Size

343.6 MB

Last updated

almost 11 years ago

docker pull amutake/coq2scala