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,000 play money
Related questions
Related questions
Will GPT-5 be released before Jan 2025?
24% chance
Will GPT-5 be released before Jun 2025?
77% chance
Will GPT-5 be released for public usage before January 1st, 2025?
32% chance
Will GPT-5 be released before Feb 2025?
49% chance
Will GPT-5 be released before Apr 2025?
61% chance
Will GPT-5 be released before Mar 2025?
50% chance
Will GPT-5 be released before May 2025?
67% chance
Will Caves of Qud 1.0 release in 2024?
91% chance
Will GPT-5 be released before Jul 2025?
75% chance
Will GPT-5 be released before Sep 2025?
77% chance