Towards a TLAPS stdlib#127

Merged

muenchnerkindl merged 5 commits into

Jul 14, 2026

Commits on Jul 8, 2026

Theorems about Contains and majority supersets

lemmy
and
claude
committed

Commits on Jul 9, 2026

IsSorted operator and sortedness theorems

lemmy
and
claude
committed

Commits on Jul 10, 2026

Commits on Jul 11, 2026

align theorem statements in SequencesExtTheorems with those in the _proofs module
muenchnerkindl
committed