Add CCF!Network #1

Open

Assignees

Labels

opened

on Feb 13, 2024

Extract and add https://github.com/microsoft/CCF/blob/main/tla/consensus/Network.tla

Metadata

Assignees

lemmy

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests