Skip to content

Releases: coq-community/coqtail-math

Coq 8.20

13 Jul 15:40
@palmskog palmskog
8.20
1d65c7f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.20 Latest
Latest

Compatibility with Coq 8.17 to 8.20.

Assets 2
Loading

Coq 8.18

19 Nov 13:10
@palmskog palmskog
8.18
87d3c24
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.18

Compatibility with Coq 8.11 to 8.18.

Loading

Coq 8.14

02 Nov 08:42
@jmadiot jmadiot
8.14
36dd68c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq 8.14

Compatibility with Coq 8.14, thanks to @palmskog

Contributors

palmskog
Loading