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