Skip to content

EWD840 and EWD998 proofs rely on tlapm soundness bug - #250

Merged
lemmy merged 5 commits into
masterfrom
mku-gh69
Oct 30, 2026
Merged

EWD840 and EWD998 proofs rely on tlapm soundness bug#250
lemmy merged 5 commits into
masterfrom
mku-gh69

EWD998_proof: do not rely on instantiation distributing over WF.

8e320b3
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 30, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO