search

coq / vscoq

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

Bump vite. Update coq pin. #774

Closed rtetley closed 4 months ago