Will Coq 9 be released before 2025-01-01?
Basic
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.
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Related questions
Related questions
Will GPT-5 be released before Feb 2025?
9% chance
Will Grok 3 be released by Dec 31, 2024?
39% chance
Will GPT-5 be released before Apr 2025?
38% chance
Will GPT-5 be released before May 2025?
44% chance
Will GPT-5 be released before Jun 2025?
53% chance
Will GPT-5 be released before Jul 2025?
57% chance
Will GPT-5 be released before Sep 2025?
68% chance
Will GPT-5 be released before Aug 2025?
63% chance
Will GPT-5 be released before Mar 2025?
23% chance
Will public beta of Jai (Jonathan Blow's new programming language) be released before 2025?
59% chance