Skip to content

Towards a TLAPS stdlib#127

Merged
muenchnerkindl merged 5 commits into
masterfrom
mku-stdlib
Jul 14, 2026
Merged

Towards a TLAPS stdlib#127
muenchnerkindl merged 5 commits into
masterfrom
mku-stdlib

align theorem statements in SequencesExtTheorems with those in the _p…

c27bdc9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar