search

coq / vscoq

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

Quickfix #780

Closed rtetley closed 3 months ago

gares commented 3 months ago

looks much better this way!