Sign inSign up

projecteverest/everest-icfp2017aec

By projecteverest

•Updated over 9 years ago

ICFP 2017 artifact submitted for evaluation (AEC) Verified Low-level Programming Embedded in F*

Image
0

10K+

Tags for projecteverest/everest-icfp2017aec

Sort by

TAG

latest

Last pushed over 9 years by tahina

docker pull projecteverest/everest-icfp2017aec:latest
DigestOS/ARCHCompressed size

41ce7989b02c

linux/amd64

1.67 GB