v0.1.1

What's Changed

• refactor(cli): remove 9 unused slash commands, fix help text bugs by @markm39 in #2
• feat(dashboard): add session management and fix loading performance by @markm39 in #3
• feat(lean): optimize all Lean tools via Pantograph and LSP incremental elaboration by @markm39 in #4
• fix(tui): fix paste rendering for long/Unicode text by @markm39 in #6
• feat(dashboard): redesign graph tab as tactic proof tree by @markm39 in #5
• chore: update all URLs from markm39 to mxthematic org by @markm39 in #8
• fix(lean): place corpus import before open statements by @markm39 in #7

Full Changelog: v0.1.0...v0.1.1