search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
347 stars 70 forks source link

coq-platform integration #472

Open gares opened 1 year ago

gares commented 1 year ago

depends on #360

maximedenes commented 1 year ago

@gares is the first item done?

gares commented 1 year ago

CC https://github.com/coq/platform/issues/347 - https://github.com/coq/platform/pull/348