https://github.com/dgpv/miniscript-alloy-spec
Formal specification for Miniscript in Alloy
https://github.com/dgpv/miniscript-alloy-spec
alloy-analyzer bitcoin formal-methods formal-specification miniscript
Last synced: 5 months 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 (over 5 years ago)
- Default Branch: master
- Last Pushed: 2020-12-15T09:42:09.000Z (over 5 years ago)
- Last Synced: 2024-07-29T16:49:35.764Z (almost 2 years 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