rzuckerm/f-star

•Updated almost 3 years ago

F* programming language docker images

Image

Languages & frameworks

2.1K

Tags for rzuckerm/f-star

Sort by

TAG

2022.01.15-1

Last pushed almost 3 years by rzuckerm

docker pull rzuckerm/f-star:2022.01.15-1

Digest	OS/ARCH	Compressed size
39dbe3c63240	linux/amd64	565.74 MB