coq / vscoq

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

[chore] Write how to contribute section for developers doc #908

Open rtetley opened 3 weeks ago