/vscoq

A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]

Primary LanguageTypeScriptMIT LicenseMIT

Stargazers

No one’s star this repository yet.