[Isabelle] Blockchain datatype? #97
Description
Can we reuse Toychain or (directed) tree?
Related #56, etc.
The current assumption blockchain_type (i.e. ancestors are not conflicts) is a bit strong.
{{ message }}
Can we reuse Toychain or (directed) tree?
Related #56, etc.
The current assumption blockchain_type (i.e. ancestors are not conflicts) is a bit strong.