/vscoq

Visual Studio Code extension for Coq

Primary LanguageOCamlMIT LicenseMIT

Stargazers