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

Complete `README.md` #101

Closed jeltsch closed 7 months ago

jeltsch commented 8 months ago

Currently, README.md is lacking an overview and a specification of the dependencies of this session on other Isabelle sessions. We shall add both.