search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

TCP according to RFC 9293. #131

Closed lemmy closed 7 months ago

lemmy commented 7 months ago

[Feature]

lemmy commented 7 months ago

TODO: Add Apalache type annotations