Skip to content

Releases: coq-community/coq-art

Coq'Art release for Coq 8.20

24 Jul 16:42
@palmskog palmskog
v8.20.0
907f3da
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.20 Latest
Latest

Release supporting Coq 8.16 to 8.20.

Assets 2
Loading

Coq'Art release for Coq 8.15

22 Jul 13:30
@palmskog palmskog
v8.15.0
3cd92b9
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.15

Release supporting Coq 8.15. Includes a computable sqrt solution by @ghasshee as per #24.

Contributors

ghasshee
Assets 2
Loading

Coq'Art release for Coq 8.14

15 Dec 09:57
@palmskog palmskog
v8.14.0
005800a
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.14

Release supporting Coq 8.14.

Assets 2
Loading

Coq'Art release for Coq 8.13

13 Jan 17:29
@palmskog palmskog
v8.13.0
1918be7
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.13

Release supporting Coq 8.13, featuring the following changes:

  • port to 8.13
  • fix deprecations
  • update metadata
  • licensed under the MIT licence
Assets 2
Loading

Coq'Art release for Coq 8.12

27 Jul 11:33
@palmskog palmskog
v8.12.0
23db101
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.12

Release supporting Coq 8.12, featuring the following changes:

  • port to 8.12
  • update metadata
Assets 2
Loading

Coq'Art release for Coq 8.11

07 Feb 22:22
@palmskog palmskog
v8.11.0
ad47eae
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.11

Release supporting Coq 8.11, featuring the following changes:

  • port to 8.11
  • fix deprecations
  • update metadata
Assets 2
Loading

Coq'Art release for Coq 8.10

22 Nov 18:22
@palmskog palmskog
v8.10.0
7d056c8
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.10

Release supporting Coq 8.10, featuring the following changes:

  • port to 8.10 and fix deprecations
  • namespace is fixed to simply coqart
  • additional exercises on well-foundedness and vectors by Pierre Castéran
Assets 2
Loading

Coq'Art release for Coq 8.9

14 Oct 12:30
@palmskog palmskog
v8.9.0
21058de
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.
Compare
Choose a tag to compare
Coq'Art release for Coq 8.9

Release supporting Coq 8.9 after move to Coq-community, featuring the following changes:

  • port to Coq 8.9
  • add metadata
  • standard Makefile
Assets 2
Loading