Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: minor terminology updates and style fixes #102

Merged
merged 1 commit into from
Aug 8, 2023

Conversation

alexandra-mara
Copy link

@alexandra-mara alexandra-mara commented Aug 7, 2023

@alexandra-mara alexandra-mara self-assigned this Aug 7, 2023
@alexandra-mara alexandra-mara added the documentation Improvements or additions to documentation label Aug 7, 2023
@alexandra-mara alexandra-mara removed the request for review from NickVolynkin August 7, 2023 15:54
@alexandra-mara alexandra-mara force-pushed the 66-proofread-documentation-examples branch from 8a6573d to 04c38dc Compare August 7, 2023 16:05
@alexandra-mara alexandra-mara marked this pull request as ready for review August 7, 2023 19:52
gitbook-docs/README.md Outdated Show resolved Hide resolved
gitbook-docs/README.md Outdated Show resolved Hide resolved
Copy link
Contributor

@NickVolynkin NickVolynkin left a comment

Choose a reason for hiding this comment

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

Very good, left a few comments.

Fixes #95, #96
Removed the article for PM (The Proof Market -> Proof Market) and the note “Proof validation for account state \
is still in development” in Mina proof example as it's ready
Added some small style fixes and missing formatting
@NickVolynkin NickVolynkin merged commit 8b7aefe into 00-gitbook-docs Aug 8, 2023
2 checks passed
@NickVolynkin NickVolynkin deleted the 66-proofread-documentation-examples branch August 8, 2023 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add links to the GitHub repository of PMT
2 participants