Experiment with Claude Opus 4.7 and TLAPS.#211

Draft

lemmy wants to merge 2 commits intomasterfrom

Commits on Apr 23, 2026

Proof subset of EWD687a theorems

authored and
lemmy
committed
ewd687a: prove DT1FromInv2 (Spec => []DT1Inv now complete)

lemmy
and
claude
committed