fstarlang/fstar

•Updated about 5 years ago

Official F* build.

Image

10K+

Tags for fstarlang/fstar

Sort by

TAG

latest

Last pushed about 5 years by fstarlang

docker pull fstarlang/fstar:latest

Digest	OS/ARCH	Compressed size
899c3b995e59	linux/amd64	822.64 MB

TAG

kyod_tmp

Last pushed over 9 years by fstarlang

docker pull fstarlang/fstar:kyod_tmp

Digest	OS/ARCH	Compressed size
69d985036c6d	linux/amd64	640.42 MB