Port the Praos specification to the Þ-calculus #43

Closed

Assignees

Labels

type: enhancement

Milestone

Delivery of the Ouroboros Praos specification

opened

on May 22, 2023

We shall properly adapt the Ouroboros Praos specification to the use of the Þ-calculus.

Metadata

Assignees

javierdiaz72

Labels

type: enhancement

Type

No type

Projects

No projects

Milestone

Delivery of the Ouroboros Praos specificationNo due date

Relationships

None yet

Development

No branches or pull requests