We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Add a link that goes from https://leanprover-community.github.io/sphere-eversion/blueprint/index.html to https://leanprover-community.github.io/sphere-eversion/
https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Sphere.20eversion.20project/near/199718684
The text was updated successfully, but these errors were encountered:
In general, I think there is no link to the homepage from any of the subpages of the blueprint (e.g. the interactive graph).
Sorry, something went wrong.
Yeah, I think the link should go into the big blue navigation sidebar. I don't know enough about how it works to make a more concrete suggestion.
I think this all fixed now.
No branches or pull requests
Add a link that goes from
https://leanprover-community.github.io/sphere-eversion/blueprint/index.html
to
https://leanprover-community.github.io/sphere-eversion/
https://leanprover.zulipchat.com/#narrow/stream/116395-maths/topic/Sphere.20eversion.20project/near/199718684
The text was updated successfully, but these errors were encountered: