Repository navigation

fix(simplify): honour the proof-local head filter on every path - #1213

Merged

strub merged 1 commit into

mainfrom

fix/simplify-head-filter

Oct 23, 2026

Merged

fix(simplify): honour the proof-local head filter on every path#1213
strub merged 1 commit into
mainfrom
fix/simplify-head-filter

Commits on Oct 23, 2026
- fix(simplify): honour the proof-local head filter on every path
  strub
  committed
  c73ce9c