search

leanprover-community / sphere-eversion

Formalization of the existence of sphere eversions
https://leanprover-community.github.io/sphere-eversion/
Apache License 2.0
36 stars 10 forks source link

blueprint navigation #5

Closed jalex-stark closed 4 years ago

jalex-stark commented 4 years ago

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

jcommelin commented 4 years ago

In general, I think there is no link to the homepage from any of the subpages of the blueprint (e.g. the interactive graph).

jalex-stark commented 4 years ago

In general, I think there is no link to the homepage from any of the subpages of the blueprint (e.g. the interactive graph).

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.

PatrickMassot commented 4 years ago

I think this all fixed now.