michael-emmi / language-boogie Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pdeligia/boogie-for-atom
Syntax highlighting for Microsoft's Boogie verification language to be used with the Atom text editor.
License: MIT License