coq / vscoq

Visual Studio Code extension for Coq
MIT License
340 stars 69 forks source link

Coq Platform packaging #304

Open maximedenes opened 2 years ago

rtetley commented 1 year ago

Is this a duplicate of #472 ?