Skip to content

Conversation

@tcoratger
Copy link
Collaborator

Related #8

@tcoratger tcoratger merged commit d29cd6a into leanEthereum:main Aug 20, 2025
4 of 6 checks passed
Copy link
Collaborator

@unnawut unnawut left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks so much for trailblazing this!

@unnawut unnawut added the specs Scope: Changes to the specifications label Oct 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

specs Scope: Changes to the specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants