1 Repositories
JavaScript coq Libraries
A VSCode extension that implements outline view and go to definition for Coq files.
Coq Outline A VSCode extension that provides outline view for Coq files. Features Provide outline views for Coq files. Provide go to definition functi
Oct 29, 2022