Adapt the Ouroboros Praos implementation to Isabelle2022 #20

Closed

Assignees

Labels

type: improvement

Milestone

Delivery of the Ouroboros Praos specification

opened

on Apr 11, 2023

We shall make the code of the Ouroboros Praos implementation compatible with Isabelle2022.

Metadata

Assignees

javierdiaz72

Labels

type: improvement

Type

No type

Projects

No projects

Milestone

Delivery of the Ouroboros Praos specificationNo due date

Relationships

None yet

Development

No branches or pull requests