parfunc/verified-instances

•Updated over 7 years ago

LiquidHaskell docker image for verified-instances.

Image

327

Tags for parfunc/verified-instances

Sort by

TAG

latest

Last pushed over 7 years by parfunc

docker pull parfunc/verified-instances:latest

Digest	OS/ARCH	Compressed size
b0d6a850c378	linux/amd64	1.58 GB

TAG

popl18

Last pushed almost 9 years by parfunc

docker pull parfunc/verified-instances:popl18

Digest	OS/ARCH	Compressed size
a18f6ae16900	linux/amd64	1.44 GB