Zulip Chat Archive
Stream: maths
Topic: potential projects
Johan Commelin (Nov 13 2019 at 10:35):
I tried to update our wiki page: https://github.com/leanprover-community/mathlib/wiki/Potential-projects
Johan Commelin (Nov 13 2019 at 10:36):
Seems like we got a bunch of stuff done. Also seems like there is still some work left to do (-;
Last updated: Dec 20 2023 at 11:08 UTC