Lean runtime guard: observe the exact release and clean locked dependencies before the first and after the last Lean run on every path - #455

Lean runtime guard: observe the exact release and clean locked dependencies before the first and after the last Lean run on every path#455

d6g8k5htny-coder merged 8 commits into

maind6g8k5htny-coder/Math-:mainfrom

claude/lean-runtime-guard-20261013d6g8k5htny-coder/Math-:claude/lean-runtime-guard-20261013Copy head branch name to clipboard