Bitcoin Mailing List on Nostr: 🔖 Title: Formal specification of Miniscript in Alloy 🏷️ Categories: ...

🔖 Title: Formal specification of Miniscript in Alloy
🏷️ Categories: bitcoin-dev
👥 Authors:
• Clark Moody ( Clark Moody [ARCHIVE] (npub1nr0…hypj) )
• Dmitry Petukhov ( Dmitry Petukhov [ARCHIVE] (npub10r6…afdw) )
📅 Messages Date: 2020-11-25
✉️ Message Count: 3
📚 Total Characters in Messages: 5995