Skip to content

Releases: Coq-zh/SF-zh

软件基础 5.7 Alpha.1 版

17 Jan 14:39
e067a13
Compare
Choose a tag to compare
Pre-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

软件基础 5.7 Alpha 版

19 Feb 04:10
f3addba
Compare
Choose a tag to compare
Pre-release

说明

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

依赖

前三卷

  • Coq 8.8

第四卷

  • QuickChick 1.0.1 或 1.0.2

软件基础 5.5 Alpha 版

19 Feb 03:53
65fd9b2
Compare
Choose a tag to compare
Pre-release

说明

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

依赖

  • Coq 8.7 或 8.8