search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
336 stars 68 forks source link

Adding goal indicator to tab view #729

Closed rtetley closed 8 months ago

rtetley commented 8 months ago

Closes #674