on "What's next after NNG?"

Stream: general

[Jalex Stark]

I started this community wiki page.
https://github.com/leanprover-community/mathlib/wiki/Where-to-start-learning-Lean

If we get it into a good enough state, then it would be nice to have a linkifier such as #afterNNG or #whatsnext or #startingup.

I think @Kevin Buzzard mentioned wanting to write something like this and link it from the natural number game. Before now I've been linking people to Kevin's homepage :laughing:

[Johan Commelin]

@Jalex Stark That's a useful page. Thanks a lot for writing it. I vote for #whatsnext.

[Reid Barton]

it has at least one character in common with the URL, so should be fine :check:

[Johan Commelin]

Kenny hacked around that. So it's no longer needed (-;

[Patrick Massot]

Thanks Jalex! This webpage will unneeded very soon, when the new Lean community website will go live. But we may get ideas from there.