8000 Release Coq 8.4pl6 · rocq-prover/rocq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Coq 8.4pl6
Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 18 Aug 13:04
· 49 commits to v8.4 since this release
V8.4pl6
b705cf0

Version 8.4pl6 of Coq fixes several bugs of version 8.4pl5. More information to be found in the CHANGES file.

Assets 2
Loading
0