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
353
September 5, 2022
Coq 8.16+rc1 has been tagged
Developing the Coq system
0
391
June 1, 2022
The V8.12.1 tag has been put
Developing the Coq system
1
582
November 13, 2020
8.15.1 tagged
Developing the Coq system
0
510
March 22, 2022
Coq 8.15.2 tagged
Developing the Coq system
0
361
May 31, 2022