Sign inSign up

ysli/quickchick

By ysli

•Updated about 5 years ago

Randomized Property-Based Testing Plugin for Coq

Image
0

4.9K

Tags for ysli/quickchick

Sort by

TAG

latest

Last pushed about 5 years by ysli

docker pull ysli/quickchick:latest
DigestOS/ARCHCompressed size

c3fabd3a14fd

linux/amd64

1.61 GB

TAG

8.12

Last pushed over 5 years by ysli

docker pull ysli/quickchick:8.12
DigestOS/ARCHCompressed size

1ae176f81312

linux/amd64

1.23 GB

TAG

8.11

Last pushed over 5 years by ysli

docker pull ysli/quickchick:8.11
DigestOS/ARCHCompressed size

9a82d7e762ff

linux/amd64

1.23 GB

TAG

8.7

Last pushed about 6 years by ysli

docker pull ysli/quickchick:8.7
DigestOS/ARCHCompressed size

64682ce4a4e9

linux/amd64

811.65 MB

TAG

8.10

Last pushed about 6 years by ysli

docker pull ysli/quickchick:8.10
DigestOS/ARCHCompressed size

aa5c5f47d1a3

linux/amd64

664.76 MB

TAG

8.9

Last pushed about 6 years by ysli

docker pull ysli/quickchick:8.9
DigestOS/ARCHCompressed size

d3f0a14f4f67

linux/amd64

657.59 MB

TAG

8.8

Last pushed over 6 years by ysli

docker pull ysli/quickchick:8.8
DigestOS/ARCHCompressed size

659ea0e163a9

linux/amd64

555.09 MB