search

coq / vscoq

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

Quickfix are in coq 8.21 #806

Closed FissoreD closed 3 months ago