Skip to content

Conversation

@kunxian-xia
Copy link
Collaborator

@kunxian-xia kunxian-xia commented Dec 4, 2024

This PR

  • renames the documentations directory to docs as it's more concise.
  • pastes the link to copies of our docs on HackMD since math is not rendered well on GitHub.

Copy link
Contributor

@matthiasgoergens matthiasgoergens left a comment

Choose a reason for hiding this comment

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

Thanks. We can consider removing the math markdown from the repository, so we don't have to keep two copies in sync?

@kunxian-xia
Copy link
Collaborator Author

The copies on HackMD is currently under my personal account https://hackmd.io/@ceno-zkvm which is subject to changes. Therefore it's better to keep the original docs in the repo.

@kunxian-xia kunxian-xia added this pull request to the merge queue Dec 4, 2024
Merged via the queue into main with commit 0982f3a Dec 4, 2024
2 checks passed
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.

3 participants