|
About the Developing the Rocq Prover category
|
|
0
|
702
|
February 10, 2019
|
|
Release of Rocq 9.3
|
|
0
|
28
|
June 30, 2026
|
|
Rocq 9.2 has just been scheduled
|
|
0
|
58
|
December 17, 2025
|
|
Branch planning for 9.1
|
|
0
|
145
|
June 6, 2025
|
|
What is the edit_id or editId in the XML protocol?
|
|
1
|
69
|
June 6, 2025
|
|
Is there a public roadmap for the Rocq rename?
|
|
3
|
288
|
October 11, 2024
|
|
Why do we need supplemental standard libraries?
|
|
7
|
171
|
October 7, 2024
|
|
I want Guidance on Extending Coq for Custom Proof Automation
|
|
2
|
107
|
September 28, 2024
|
|
Idea for a collaborative Coq
|
|
6
|
196
|
June 1, 2024
|
|
8.20 branching next month
|
|
0
|
89
|
May 15, 2024
|
|
Coq 8.19.0 tagged
|
|
0
|
168
|
January 24, 2024
|
|
Roadmap for Coq's source code and metatheory understanding.
|
|
1
|
303
|
January 14, 2024
|
|
V8.19+rc1 tagged
|
|
0
|
147
|
December 18, 2023
|
|
Upcoming 8.19 branch
|
|
0
|
238
|
October 31, 2023
|
|
Tag V8.18.0 is set
|
|
4
|
314
|
October 11, 2023
|
|
Coq manual build with dune
|
|
3
|
378
|
October 9, 2023
|
|
Terms modulo α-conversion and substitution
|
|
1
|
426
|
March 30, 2023
|
|
Coq 8.17.0 tag has been set
|
|
0
|
328
|
March 27, 2023
|
|
Coq 8.16.1 has been tagged
|
|
0
|
386
|
November 25, 2022
|
|
Branching v8.17 soon
|
|
0
|
474
|
November 16, 2022
|
|
Coq 8.16.0 has been tagged
|
|
0
|
436
|
September 5, 2022
|
|
Coq 8.16+rc1 has been tagged
|
|
0
|
477
|
June 1, 2022
|
|
Coq 8.15.2 tagged
|
|
0
|
424
|
May 31, 2022
|
|
Coq Working Group June 2022
|
|
4
|
554
|
May 11, 2022
|
|
8.15.1 tagged
|
|
0
|
589
|
March 22, 2022
|
|
Generalizing coercions to infer typeclass arguments
|
|
7
|
2030
|
March 9, 2022
|
|
V8.15.0 tag set
|
|
0
|
486
|
January 13, 2022
|
|
Coq 8.15 RC1
|
|
0
|
494
|
December 7, 2021
|
|
Coq 8.15 branch date
|
|
0
|
492
|
October 14, 2021
|
|
Enforcing that the parser and the documented syntax are in sync
|
|
0
|
544
|
July 16, 2021
|