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,000and
3.00
1,0003.00Related questions
Related questions
Will GPT-5 be released before Aug 2025?
35% chance
Will o3.5 be released before 2026?
31% chance
Will o5 be released before 2027?
70% chance
Will o5 be released before 2026?
29% chance
Will public beta of Jai (Jonathan Blow's new programming language) be released before 2025?
34% chance
Will Grok 3 be released by Dec 31, 2024?
12% chance
Will o4 be released before Jun 2025?
23% chance
Will GPT-5 be released before Sep 2025?
44% chance
Will GPT-5 be released before Jul 2025?
29% chance
Will GPT-5 be released before Jun 2025?
27% chance