big-jacket

What's Changed

• Merge pull request #10 from EdoardoCostantini:colli by @EdoardoCostantini in #10
• format: add vertical separator in tab3 by @EdoardoCostantini in #11
• format: fix ui indents by @EdoardoCostantini in #12
• Res by @EdoardoCostantini in #13
• Convergence checks by @EdoardoCostantini in #14
• Deploy version 1.0 by @EdoardoCostantini in #15

Full Changelog: v0.9...v1.0