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

Skip to content

Tags: sumi45/coq

Tags

V8.12+alpha

Toggle V8.12+alpha's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode 
First commit after v8.11 branching point.

V8.10.1

Toggle V8.10.1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode 
Coq 8.10.1

V8.10.0

Toggle V8.10.0's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode 
Coq 8.10.0

V8.10+beta3

Toggle V8.10+beta3's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode 
Coq version 8.10+β3

V8.10+beta2

Toggle V8.10+beta2's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode 
Coq version 8.10+β2

V8.9.1

Toggle V8.9.1's commit message

Verified

This tag was signed with the committer’s verified signature.
silene Guillaume Melquiond
GPG key ID: 20A980344E318435
Verified
Learn about vigilant mode 
Coq 8.9.1

V8.10+beta1

Toggle V8.10+beta1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode 
Coq version 8.10+beta1

V8.11+alpha

Toggle V8.11+alpha's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode 
First commit after v8.10 branching point.

V8.9.0

Toggle V8.9.0's commit message

Verified

This tag was signed with the committer’s verified signature.
silene Guillaume Melquiond
GPG key ID: 20A980344E318435
Verified
Learn about vigilant mode 
Coq 8.9.0

V8.9+beta1

Toggle V8.9+beta1's commit message

Verified

This tag was signed with the committer’s verified signature.
silene Guillaume Melquiond
GPG key ID: 20A980344E318435
Verified
Learn about vigilant mode 
Version 8.9+beta1 of Coq