potential projects

Stream: general

[Scott Morrison]

At our Orsay meeting we just wrote a list of interesting-but-not-impossible projects for formalisation in Lean.

[Scott Morrison]

https://github.com/leanprover-community/mathlib/wiki/Potential-projects

[Scott Morrison]

Please add to it, add links to wikipedia definitions or elsewhere, add your name next to things you're working on, etc!

[Reid Barton]

I see we forgot to add Kevin's theorem (THE UNIFORM LIMIT OF CONTINUOUS FUNCTIONS IS CONTINUOUS)