Writing a module for representing IP addresses and prefixes in TLA+

21 views

Skip to first unread message

Aman Shaikh

unread,

Oct 15, 2022, 5:34:30 PM10/15/22

to tla...@googlegroups.com

I'd need a TLA+ module for representing IP addresses and prefixes. Google search didn't reveal anything, so I am posting a message here. If anyone is aware of such a module, can you let me know?

thx

aman

Reply all

Reply to author

Forward

0 new messages