Skip to content

Re-descend the node stack after prune_path restructures the focus's node - #184

Merged
imlvts merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/prune-path-redescend
Nov 4, 2026
Merged

Re-descend the node stack after prune_path restructures the focus's node#184
imlvts merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/prune-path-redescend

Re-descend the node stack after prune_path restructures the focus's node

783e92c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Nov 4, 2026 in 10s