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 public beta of Jai (Jonathan Blow's new programming language) be released before 2025?
19% chance
Will Grok 3 be released by Dec 31, 2024?
12% chance
Will GPT-5 be released before Jul 2025?
46% chance
Will GPT-5 be released before Sep 2025?
44% chance
Will GPT-5 be released before Aug 2025?
35% chance
Will GPT-5 be released before Jun 2025?
27% chance
Will GPT-5 be released before Nov 2025?
60% chance
Will GPT-5 be released for public usage before January 1st, 2025?
3% chance
Will GPT-5 be released before May 2025?
23% chance
Will Windows 12 be released before 2025?
1% chance