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

Name the 2nd assumption of `up_to_embedding_is_sound` #70

Closed jeltsch closed 1 year ago

jeltsch commented 1 year ago

This resolves #68.