Code

formal spec docs#106

Code

Merged

yveshauser merged 6 commits intomaininput-output-hk/ouroboros-leios:mainfrom yveshauser/formal-spec-docsinput-output-hk/ouroboros-leios:yveshauser/formal-spec-docsCopy head branch name to clipboardDec 16, 2024

+72

Commits

Commits on Dec 11, 2024

• Initial diagram

  yveshauser

  committed
  acc5f3f

Commits on Dec 12, 2024

• Initial components diagram

  yveshauser

  committed
  408a5ce

• colors

  yveshauser

  committed
  7b11e08

• dashed

  yveshauser

  committed
  eefd69b

• color

  yveshauser

  committed
  2b90c28

Commits on Dec 16, 2024

• Merge branch 'main' into yveshauser/formal-spec-docs

  yveshauser

  authored
  46197d8