issues Search Results · repo:coq/vscoq language:OCaml
Filter by
427 results
(61 ms)427 results
incoq/vscoq (press backspace or delete to remove)Nested proof are allowed in 2.2.5, even though they were not before
Definition foo : nat.
Definition foo2 : bool.
exact true.
Defined.
exact 0.
Defined.
thomas-lamiaux
- Opened yesterday
- #1069
I am with vscoq 2.2.5 coq 8.20.1
Ok I have a file with an obvious syntax error. Anyway I try to execute it anyway (this is important)
Image
now if I try to correct the error, the error message remains ...
thery
- 4
- Opened 14 days ago
- #1066
In this Zulip chat we realised that modifying editorInfo.foreground in the workbench.colorCustomizations of the json,
makes many information got lost.
The screenshot shows the result of Search Nat when ...
faenuccio
- Opened 15 days ago
- #1065
I am on Ubuntu 24.04. This problem has been observed in the past few versions of vscoq.
When Coq is engaged in something that takes a long time, such as a long typeclass search, I am unable to interrupt ...
patrick-nicodemus
- 2
- Opened 20 days ago
- #1062
Description of the problem
How to reproduce:
- Install coq 8.20.1 and vscoq 2.2.5
- clone fiat-crypto from https://github.com/mit-plv/fiat-crypto/tree/master
- install dependencies from there and ...
miriampolzer
- Opened 20 days ago
- #1064
Hello! When I installed VsCoq according to the Readme, I would download the version of 2.1.4, while the extension VsCoq
of vscode need 2.2.5. I resolved the problem with opam install vscoq-language-server.2.2.5, ...
lll123github
- 4
- Opened 20 days ago
- #1061
img width= 925 alt= Image src= https://github.com/user-attachments/assets/4c1b81eb-6c1a-473c-b117-a127b9471ea1 /
The only way to fix this seems to be reloading the document, which makes working on slow ...
bug
JasonGross
- 1
- Opened 23 days ago
- #1058
When I load a large file, vscoq is often unresponsive for many sections, presumably while it s sending the document off
for parsing. Is there a way to avoid this, and have it only be triggered when I evaluate ...
- 2
- Opened 23 days ago
- #1057
Currently, if I accidentally evaluate a looping computation, there doesn t seem to be a way to interrupt it without
reloading the window / killing the process. This makes working in files with long proofs ...
- 1
- Opened 24 days ago
- #1056
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Press the /
key to activate the search input again and adjust your query.