feat(dashboard): redesign graph tab as tactic proof tree#5

markm39 merged 1 commit into

mastermxthematic/openproof:masterfrom

feat/proof-tree-graphmxthematic/openproof:feat/proof-tree-graphCopy head branch name to clipboard