Skip to content

Coqoban 8.13.0 for Coq 8.10+

Latest
Latest
Compare
Choose a tag to compare
@erikmd erikmd released this 21 Aug 14:55
· 3 commits to master since this release
v8.13.0
2e0e8e6
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

coq-coqoban for coq.{8.10, 8.11, 8.12, 8.13, dev}
(see included README.md or .opam file for more details)

Assets 2
Loading