replace old Lean Together links with link to community page

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

replace old Lean Together links with link to community page #101

Closed semorrison closed 10 months ago

semorrison commented 10 months ago

A list of events from 2019, 2020, and 2021 is beginning to look a bit sad. I think it's better to replace this section with a link to the extremely full calendar maintained on the community website.

Alternatively I'm happy to "backport" from that page, or even automate if appropriate.

Kha commented 10 months ago

LGTM. I don't see a reason for duplication.