GH project list

Stream: lean4 dev

[James Gallicchio]

Very low priority, but in the spirit of New Years resolutions:
https://github.com/leanprover/lean4/projects?type=classic

You all have gotten a few of these done, and maybe have more plans in the works, so I would love to see what it looks like after updating!