Will VSCoq support automatic reloading of the proof view by 2023-05-04?
7
18
Ṁ694Ṁ201
resolved May 4
Resolved
NO1D
1W
1M
ALL
When I use VSCode for Coq using the VSCoq extension, I have to invoke a command to change the location within the proof I am inspecting. The UI for VSCode's Lean extension is much better - you just have to move your cursor and the proof view automatically updates. Will VSCoq get this feature by the close date?
Apr 29, 5:09pm: Will VSCoq support automatic reloading of the proof view by May 2023? → Will VSCoq support automatic reloading of the proof view by 2023-05-04?
Get Ṁ200 play money
🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ42 | |
| 2 | Ṁ35 | |
| 3 | Ṁ2 | |
| 4 | Ṁ2 |
Related questions
Will a proofnik make IMO before the end of 2028?
94% chance
Will a plausible proof obfuscator be found by end of 2024?
77% chance
Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?
23% chance
Will natural language based proof assistants be in common use by 2026?
36% chance
Will Manifold Markets have built-in support for reflective latent variables by 2025?
30% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
53% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
64% chance
Will Metaculus have built-in support for reflective latent variables by 2025?
19% chance
Will Proof School be held in person for each day of the 2023-24 school year?
95% chance
Will we get a new version of Visual Studio by 2025?
75% chance