links on leanprover website

Stream: general

[Patrick Massot]

@Sebastian Ullrich Do you think you could replace the link to the mathlib GitHub from https://leanprover.github.io/about/ by a link to https://leanprover-community.github.io/. And maybe also add a visible link from the documentation page. If you want something which is specifically about documentation then you can target https://leanprover-community.github.io/learn.html. The download page could contain a link to https://leanprover-community.github.io/get_started.html. And of course getting of the link to https://leanprover.github.io/live/ would be awesome

[Sebastian Ullrich]

See https://github.com/leanprover/leanprover.github.io/pull

[Sebastian Ullrich]

Let me know if anything else should be clarified. There's still a bit of overlap with the community homepage, of course, but I suppose we'd want the official website to be at least somewhat standalone.

[Kevin Buzzard]

https://leanprover.github.io/about/ it's live :D

[Johan Commelin]

@Sebastian Ullrich Thanks!
But do you still want to mention the google groups forum on https://leanprover.github.io/documentation/ ? Is there anybody there?

[Kevin Buzzard]

The answer to every question asked there seems to be "ask the same question on Zulip", but conversely there will be people who won't want to face this bear pit

[Sebastian Ullrich]

Yeah, all these conference invitations need a home as well

[Patrick Massot]

Amazing, thank you very much Sebastian!