siegebell/vscoq Issues
🎉 Move to coq-community 🎉
Updated 1Integration with native Coq LSP
Closed 20Coq 8.9 gives error
Updated 1Can not open proof view
Closed 1Error when compiling extension
Updated 2the out-of-date API
Updated 1Can this plugin be restarted?
Updated 1Weird style sheet
Closed 2OSX LoadPath inconsistencies
Updated 1completion via sinppets
Closed 5proof as you go
Updated 5add more pretty symbol
Closed 1status bar issues
Closed