refactor(forks/lstar): merge store module into containers#801

tcoratger merged 1 commit into

leanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:worktree-agent-afa528212d49e78c1tcoratger/leanSpec:worktree-agent-afa528212d49e78c1Copy head branch name to clipboard