Skip to content

Improve grammar and fix typos in README.md#1

Open
gianpaj wants to merge 1 commit into
YumeProof:masterfrom
gianpaj:patch-1
Open

Improve grammar and fix typos in README.md#1
gianpaj wants to merge 1 commit into
YumeProof:masterfrom
gianpaj:patch-1

Conversation

@gianpaj

@gianpaj gianpaj commented Aug 4, 2025

Copy link
Copy Markdown

great project! well done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant