Zulip Chat Archive

Stream: general

Topic: mathlib wishlist

Dhruva Divate (Jul 14 2020 at 13:21):

Is there a quasi-formal "wishlist" for different kinds of mathematics the community wants to formalise in Lean?
Can someone link to it?

Johan Commelin (Jul 14 2020 at 13:22):

We have some stuff in github issues, and also on the mathlib wiki

Johan Commelin (Jul 14 2020 at 13:22):

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

Johan Commelin (Jul 14 2020 at 13:23):

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

Dhruva Divate (Jul 14 2020 at 13:23):

thanks a lot I just found them, should've done my homework haha

Last updated: Dec 20 2023 at 11:08 UTC