search

coq / vscoq

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

Testing windows CI #817

Open rtetley opened 3 months ago

gares commented 2 months ago

maybe this needs a rebase?