🔖 Title: TLA+ specification for Succint Atomic Swap 🏷️ Categories: bitcoin-dev 👥 Authors: • Dmitry Petukhov ( Shivering Dolphin ) • Ruben Somsen ( Faint Echidna ) 📅 Messages Date Range: 2020-05-13 to 2020-05-14 ✉️ Message Count: 6 📚 Total Characters in Messages: 17913