Sign inSign up

rzuckerm/f-star

By rzuckerm

•Updated almost 3 years ago

F* programming language docker images

Image
Languages & frameworks
0

2.1K

rzuckerm/f-star repository overview

See https://github.com/rzuckerm/f-star-docker-image⁠ for details

Tag summary

Content type

Image

Digest

sha256:39dbe3c63…

Size

565.7 MB

Last updated

almost 3 years ago

docker pull rzuckerm/f-star:2022.01.15-1