SF Zh Versions Save

说明

Coq 8.8 虽兼容该版本，但不会支持很久

依赖

前三卷

Coq 8.8、8.9、8.10 或开发版，暂不支持 8.11

第四卷

与 Coq 环境相对应的 QuickChick 开发版

Coq 环境	QuickChick 版本
coq.8.8.*	coq-quickchick.8.8.dev
coq.8.9.*	coq-quickchick.8.9.dev
coq.8.10.*	coq-quickchick.8.10.dev
coq.dev	coq-quickchick.dev

说明

是兼容 Coq 8.8 之最终版本，此后诸版要求 Coq 不早于 8.9。

依赖

前三卷

• Coq 8.8

第四卷

• QuickChick 1.0.1 或 1.0.2

说明

是兼容 Coq 8.7 之最终版本，此后诸版要求 Coq 不早于 8.8。

依赖

• Coq 8.7 或 8.8