Skip to content
This repository was archived by the owner on Oct 26, 2022. It is now read-only.

Releases: coq-community/goedel

Goedel release for Coq 8.13

10 Aug 17:22
@palmskog palmskog
v8.13.0
4233833
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
Goedel release for Coq 8.13 Latest
Latest

Release known to be compatible with Coq 8.11 to 8.13. Definitions and results related to primitive recursive functions and Peano arithmetic have been moved to the hydra-battles project. Dependencies are hydra-battles (tested with version 0.4) and pocklington (tested with version 8.12.0).

Assets 2
Loading

Goedel release for Coq 8.12

02 Jan 14:00
@palmskog palmskog
v8.12.0
8c3e6e0
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
Goedel release for Coq 8.12

Initial release after move to coq-community, compatible with Coq 8.7 to 8.12.

Loading