Will Coq 9 be released before 2025-01-01?
3
Ṁ70Ṁ250resolved Jan 2
Resolved
NO1H
6H
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.
Market context
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ34 | |
| 2 | Ṁ14 | |
| 3 | Ṁ1 |
People are also trading
Related questions
Will xAI release Grok 5 before May 1st 2026?
14% chance
Will o5 be released before 2027?
3% chance
[Carlini questions] Delay from the best "closed-source" model release to it being reproduced in "open source" in 2027
9.3
Will Python 4 be released before 2030?
11% chance
Will Anthropic release Claude 5 (or Opus 5) before July 1, 2026?
17% chance
There will be a Python6.9 before the year 2069
13% chance