Formal specification for Miniscript in Alloy
-
Updated
Dec 15, 2020 - Alloy
Formal specification for Miniscript in Alloy
Add a description, image, and links to the miniscript topic page so that developers can more easily learn about it.
To associate your repository with the miniscript topic, visit your repo's landing page and select "manage topics."