Repository navigation

[documentation]: document `seq` tactic - #879

Merged

oskgo merged 1 commit into

mainfrom

Oct 30, 2026

Merged

[documentation]: document `seq` tactic#879
oskgo merged 1 commit into
mainfrom
doc-seq-tactic

Commits on Oct 30, 2026
- [documentation]: document `seq` tactic
  
  strub
  authored and
  fdupress
  committed
  24175a6