Releases: Coq-zh/SF-zh
Releases · Coq-zh/SF-zh
软件基础 5.7 Alpha.1 版
e067a13
This commit was signed with the committer’s verified signature.
The key has expired.
liyishuai
Yishuai Li
说明
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 |
软件基础 5.7 Alpha 版
软件基础 5.5 Alpha 版
说明
是兼容 Coq 8.7 之最终版本，此后诸版要求 Coq 不早于 8.8。
依赖
- Coq 8.7 或 8.8