软件基础 5.7 Alpha.1 版
Pre-release
Pre-release
·
20 commits
to master
since this release
说明
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 |