/boogie-for-atom

Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.

Primary LanguageCoffeeScriptMIT LicenseMIT

Stargazers

No one’s star this repository yet.