/boogie-for-atom

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

Primary LanguageCoffeeScriptMIT LicenseMIT

Boogie for Atom

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

Boogie is an open-source project and can be found in CodePlex: