Skip to content

Commit 4ec2308

Browse files
Update formal specification documentation
- Updated from ouroboros-leios-formal-spec repository - Run ID: 16119681894 - Triggered by: repository_dispatch
1 parent 2803c04 commit 4ec2308

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

site/static/formal-spec/Network.BasicBroadcast.html

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

site/static/formal-spec/Network.Leios.html

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

site/static/formal-spec/search-index.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)