Skip to content

软件基础 5.7 Alpha 版

Pre-release
Pre-release
Compare
Choose a tag to compare
@liyishuai liyishuai released this 19 Feb 04:10
· 52 commits to master since this release
v5.7-alpha
f3addba
This commit was signed with the committer’s verified signature. The key has expired.
liyishuai Yishuai Li
GPG key ID: 6788D22279144CD0
Expired
Learn about vigilant mode.

说明

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

依赖

前三卷

  • Coq 8.8

第四卷

  • QuickChick 1.0.1 或 1.0.2
Assets 2
Loading