language-boogie Boogie language support in Atom. michael-emmi 41 0 1.2.0 MIT GitHub Share Package Link MarkDown Link Iconic MarkDown Link Install Boogie for Atom A language grammar for the Boogie intermediate verification language.
