jungly on Nostr: A TLA+ Formal Proof of a Cross-Chain Swap ...
A TLA+ Formal Proof of a Cross-Chain Swap
https://dl.acm.org/doi/10.1145/3491003.3491006?utm_source=chatgpt.com
https://dl.acm.org/doi/10.1145/3491003.3491006?utm_source=chatgpt.com
jungly
npub1x0y…9t7k
2025-02-23 06:41:34
Author Public Key
npub1x0ywjcwk9zjffndn0wt485xx68h8vykdqg9yztya7lec5an0g4lqg09t7kSeen on
wss://nostr.mom