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?
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 Grok 3 be released by Dec 31, 2024?
12% 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