Zulip Chat Archive

Stream: general

Topic: potential projects


Scott Morrison (Aug 28 2018 at 15:54):

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

Scott Morrison (Aug 28 2018 at 15:54):

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

Scott Morrison (Aug 28 2018 at 15:54):

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

Reid Barton (Aug 29 2018 at 07:34):

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


Last updated: Dec 20 2023 at 11:08 UTC