refocus links to community

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Closed PatrickMassot closed 4 years ago

PatrickMassot commented 4 years ago

The proposed changes mostly remove some specific links to community projects in order to channel all community access through the main website.

leodemoura commented 4 years ago

merged