Repository navigation

[PROOF-P1-S2] Write the loop's rules - #35

Merged

d6veteran merged 2 commits into

mainfrom

proof/P1-S2-loop-rules

Oct 17, 2026

Merged

[PROOF-P1-S2] Write the loop's rules#35
d6veteran merged 2 commits into
mainfrom
proof/P1-S2-loop-rules

Commits on Oct 17, 2026
- plan: P0-S4 done (34)
  d6veteran
  committed
  6e64f85
- proof-loop: the loop's rules, and the new comment steps on a gallery (P1-S2)
  
  d6veteran
  and
  claude
  committed
  2b5fdbb