Skip to content

Latest commit

 

History

History
164 lines (144 loc) · 6.45 KB

TwoPhaseTyped.tla

File metadata and controls

164 lines (144 loc) · 6.45 KB