Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/dgpv/miniscript-alloy-spec

alloy-analyzer bitcoin formal-methods formal-specification miniscript

Last synced: 24 days ago
JSON representation

Formal specification for Miniscript in Alloy

Host: GitHub
URL: https://github.com/dgpv/miniscript-alloy-spec
Owner: dgpv
License: other
Created: 2020-11-25T10:52:41.000Z (almost 4 years ago)
Default Branch: master
Last Pushed: 2020-12-15T09:42:09.000Z (almost 4 years ago)
Last Synced: 2024-07-29T16:49:35.764Z (4 months ago)
Topics: alloy-analyzer, bitcoin, formal-methods, formal-specification, miniscript
Language: Alloy
Homepage:
Size: 163 KB
Stars: 8
Watchers: 1
Forks: 5
Open Issues: 2