Coq language support for the Atom editor
Primary LanguageCoffeeScriptMIT LicenseMIT
No one’s star this repository yet.