Thanks to visit codestin.com
Credit goes to github.com

Skip to content
This repository was archived by the owner on Feb 21, 2021. It is now read-only.

Tags: Tryweirder/coq

Tags

V8.13.0

Toggle V8.13.0's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
The Coq proof assistant, version 8.13.0.

V8.12.2

Toggle V8.12.2's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
The 8.12.2 release of the Coq proof assistant.

V8.13+beta1

Toggle V8.13+beta1's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
The Coq Proof Assistant, first beta release of version 8.13.

V8.14+alpha

Toggle V8.14+alpha's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
first commit after v8.13 branch

V8.12.1

Toggle V8.12.1's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
The Coq proof assistant, version 8.12.1.

V8.12.0

Toggle V8.12.0's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
The Coq proof assistant, version 8.12.0.

V8.12+beta1

Toggle V8.12+beta1's commit message

Verified

This tag was signed with the committer’s verified signature.
Zimmi48 Théo Zimmermann
GPG key ID: F1744A0942F536C7
Verified
Learn about vigilant mode 
The Coq Proof Assistant, first beta release of version 8.12.

V8.13+alpha

Toggle V8.13+alpha's commit message

Verified

This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode 
First commit after v8.12 branching point.

V8.11.2

Toggle V8.11.2's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode 
Merge PR rocq-prover#12328: Release 8.11.2

V8.11.1

Toggle V8.11.1's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
ppedrot Pierre-Marie Pédrot
GPG key ID: 7922C01FD9BA3C7B
Expired
Verified
Learn about vigilant mode 
Merge PR rocq-prover#12017: Release 8.11.1