Skip to content

EWD998: close the nine lemmas that were stated without proof - #218

Merged
muenchnerkindl merged 3 commits into
tlaplus:masterfrom
vasilisnasopoulos:ewd998-close-proof-gaps
Aug 3, 2026
Merged

EWD998: close the nine lemmas that were stated without proof#218
muenchnerkindl merged 3 commits into
tlaplus:masterfrom
vasilisnasopoulos:ewd998-close-proof-gaps

Drop the Functions.tla entry from the manifest

cab9d84
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 2, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO