Coq language support for the Atom editor
Primary LanguageCoffeeScriptMIT LicenseMIT
No issues in this repository yet.