Skip to content

Commit

Permalink
Merge pull request #2 from cardano-scaling/peras-formal-spec-update
Browse files Browse the repository at this point in the history 
Peras formal spec update
  • Loading branch information
@bwbush
bwbush authored Oct 4, 2024
2 parents 1396458 + 065153b commit 1c11a2a
Showing 1 changed file with 117 additions and 217 deletions.
Loading

0 comments on commit 1c11a2a

Please sign in to comment.