Avatar
jungly 10mo ago

A TLA+ Formal Proof of a Cross-Chain Swap

https://dl.acm.org/doi/10.1145/3491003.3491006?utm_source=chatgpt.com

Reply to this note

Please Login to reply.

Discussion

No replies yet.