Website
Documentation
Community
GitHub
Bug reports
Wiki
Coq
Coq 8.16.1 has been tagged
Developing the Coq system
ppedrot
November 25, 2022, 12:18pm
1
The V8.16.1 tag is now public! Package managers should now start work on upgrading their packages.
Related Topics
Topic
Replies
Views
Activity
Coq 8.16.0 has been tagged
Developing the Coq system
0
346
September 5, 2022
Coq 8.16+rc1 has been tagged
Developing the Coq system
0
382
June 1, 2022
The V8.12.1 tag has been put
Developing the Coq system
1
578
November 13, 2020
8.15.1 tagged
Developing the Coq system
0
508
March 22, 2022
Coq 8.15.2 tagged
Developing the Coq system
0
355
May 31, 2022