7.3 typo

[exeodius]

7.3
Developer Tools
A complete set of developer tools are critical to blockchain app developers. So far, developer tool
chains for pubic blockchains are incomplete, imposing great challenges to most developers. Nebulas
development team will provide a rich set of developer tools, including independent development IDE for
smart contracts, block browser, plugins for various popular IDEs (including Eclipse, JetBrains, Visual
Studio, Sublime Text, VIM and Atom), debugger, simulator, formal verification tool for smart contracts,
background SDKs for various advanced languages, and SDKs for mobile ends.