Skip to content

软件基础 5.5 Alpha 版

Pre-release
Pre-release
Compare
Choose a tag to compare
@liyishuai liyishuai released this 19 Feb 03:53
· 73 commits to master since this release
v5.5-alpha
65fd9b2
This commit was signed with the committer’s verified signature.
liyishuai Yishuai Li
GPG key ID: AC0299940DF0B203
Learn about vigilant mode.

说明

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

依赖

  • Coq 8.7 或 8.8
Assets 2
Loading