В Wed, 25 Nov 2020 09:43:10 -0600
Clark Moody wrote:
> Thanks for this! I can't comment on the correctness of your
> implementation, but I really appreciate the idea and effort.
>
> By chance, did you come across any other spec definitions in alternate
> formal grammars?
As far as I know, this
Thanks for this! I can't comment on the correctness of your implementation,
but I really appreciate the idea and effort.
By chance, did you come across any other spec definitions in alternate
formal grammars?
-Clark
On Wed, Nov 25, 2020 at 5:35 AM Dmitry Petukhov via bitcoin-dev <
I have created a formal specification of Miniscript [1] using
the specification language of Alloy analyzer [2]
Link: https://github.com/dgpv/miniscript-alloy-spec
Possible uses for the spec:
- Implementing Miniscript libraries, as additional reference that might
be easier to navigate than
