search

coq / vscoq

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

support Restart #915

Open gares opened 2 weeks ago

gares commented 2 weeks ago

Fix #770