Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
Coq 8.16.0 has been tagged
Developing the Coq system
ppedrot
September 5, 2022, 11:51am
1
The V8.16.0 tag is now public!
Package managers should now start work on upgrading their packages.
Related Topics
Topic
Replies
Views
Activity
Coq 8.16.1 has been tagged
Developing the Coq system
0
314
November 25, 2022
Coq 8.16+rc1 has been tagged
Developing the Coq system
0
390
June 1, 2022
The V8.12.1 tag has been put
Developing the Coq system
1
582
November 13, 2020
Coq 8.15.2 tagged
Developing the Coq system
0
360
May 31, 2022
8.15.1 tagged
Developing the Coq system
0
509
March 22, 2022