search

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family
Apache License 2.0
1 stars 1 forks source link

Adapt heading to single-state-machine specification #79

Closed jeltsch closed 1 year ago

jeltsch commented 1 year ago

This resolves #77.