Will Coq 9 be released before 2025-01-01?
Mini
1
Ṁ20Jan 1
34%
chance
1D
1W
1M
ALL
Coq (https://coq.inria.fr/) is a formal proof management system.
Newest Coq release as of 2023-08-03 is 8.17.1.
This marked resolves to YES if a version, whose major number is 9 (e.g. 9.0.0, 9.1.0, 9.1.1) is released before year 2025.
Get
1,000and
1.00
1,0001.00Related questions
Related questions
Will Grok 3 be released by Dec 31, 2024?
12% chance
Will public beta of Jai (Jonathan Blow's new programming language) be released before 2025?
51% chance
Will GPT-5 be released before Mar 2025?
24% chance
Will GPT-5 be released before Jun 2025?
50% chance
Will GPT-5 be released before May 2025?
39% chance
Will GPT-5 be released before Jul 2025?
60% chance
Will GPT-5 be released before Apr 2025?
27% chance
Will GPT-5 be released before Jan 2025?
7% chance
Will GPT-5 be released before Sep 2025?
70% chance
Will GPT-5 be released before Aug 2025?
72% chance