search

coq / vscoq

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

Coq menu: Add a ```New project``` command #882

Open rtetley opened 1 month ago

rtetley commented 1 month ago

Following the discussions in #862, it could be helpful to have a New project command that sets up a folder with a _CoqProject file and a Makefile. As outlined here