Skip to content

Issues: coq/vscoq

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Goal completely empty bug Something isn't working
#187 opened Dec 2, 2020 by fakusb
Code Completion Appears Entirely Broken bug Something isn't working
#792 opened Jun 17, 2024 by zepalmer
Suggested shortcuts
#83 opened Nov 26, 2019 by charguer
Separate goals from hypotheses enhancement New feature or request
#133 opened May 16, 2020 by TheoWinterhalter
Support dune builds
#134 opened May 17, 2020 by Blaisorblade
Create a coq formatter enhancement New feature or request
#158 opened Sep 3, 2020 by ogiekako
Manual testing on large developments Document Manager Cf https://github.com/coq-community/vscoq/projects/1
#204 opened Mar 8, 2021 by maximedenes
states and workers Document Manager Cf https://github.com/coq-community/vscoq/projects/1
#211 opened Mar 11, 2021 by gares
customize command coq search enhancement New feature or request
#16 opened Jul 18, 2019 by CohenCyril
[Feature Request] Project-wide advanced refactoring. Document Manager Cf https://github.com/coq-community/vscoq/projects/1
#220 opened Mar 17, 2021 by pseudohuman92
Prettify completely broken?
#229 opened May 15, 2021 by YaZko
Feature request : Timing enhancement New feature or request
#231 opened May 19, 2021 by thery
Feature: compile before require enhancement New feature or request
#252 opened Sep 17, 2021 by elefthei
"backport" parTac to Coq Coq requires a patch to Coq Document Manager Cf https://github.com/coq-community/vscoq/projects/1
#212 opened Mar 11, 2021 by gares
ProTip! Add no:assignee to see everything that’s not assigned.