Skip to content

Coq Library of Undecidability Proofs version 1.0.1

Choose a tag to compare

View all tags
@yforster yforster released this 09 Nov 11:28
· 321 commits to coq-8.16 since this release
v1.0.1+8.16
201b494
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.

This release is intended to serve as the base for a release of coq-library-complexity.1.0+8.16.

It will almost immediately be succeeded by a release of v1.1.

Assets 2
Loading