A VSCode extension that implements outline view and go to definition for Coq files.
Primary LanguageTypeScriptMIT LicenseMIT