Sign inSign up

amutake/coq2scala

By amutake

•Updated almost 11 years ago

https://github.com/hemmi/coq2scala

Image
0

660

Tags for amutake/coq2scala

Sort by

TAG

ocaml-latest

Last pushed almost 11 years by amutake

docker pull amutake/coq2scala:ocaml-latest
DigestOS/ARCHCompressed size

2326b93a8be0

amd64

457.7 MB

TAG

latest

Last pushed almost 11 years by amutake

docker pull amutake/coq2scala:latest
DigestOS/ARCHCompressed size

25d152f6f8da

amd64

343.65 MB