python (65.1k questions)
javascript (44.2k questions)
reactjs (22.7k questions)
java (20.8k questions)
c# (17.4k questions)
html (16.3k questions)
r (13.7k questions)
android (12.9k questions)
How does one automatically lint Coq files in vscode?
I installed a coq linter in vscode but I get this issue:
Cannot lint the coq file.
I am using this extension.
Why is it not linting my file?
cross: https://github.com/fpoli/vscode-coq-linter/issues...
Charlie Parker
Votes: 0
Answers: 1
How to activate the Coq messages in vscode/vscoq like in the CoqIde/jscoq?
I am expecting something in my messages bar but I don't see it
Example script:
Fixpoint add_left (n m : nat) : nat :=
match n with
| O => m
| S p => S (add_left p m)
end.
Lemma demo_1...
Charlie Parker
Votes: 0
Answers: 1