Repository navigation

[documentation]: document `while` tactic - #880

Merged

fdupress merged 2 commits into

mainfrom

doc-while-tactic

Oct 30, 2026

Merged

[documentation]: document `while` tactic#880
fdupress merged 2 commits into
mainfrom
doc-while-tactic

Commits on Oct 30, 2026
- [documentation]: document `while` tactic
  
  authored and
  fdupress
  committed
  8dc71af
- remove parts that are in flux (or might be wrong) due to soundness fixes
  
  oskgo
  authored and
  fdupress
  committed
  5ae340a