Zulip Chat Archive

Stream: Lean Together 2019

Topic: Further mathlib maintainers

Johan Commelin (Jan 05 2019 at 07:07):

Quick thought: One of the suggested topics is “Further mathlib maintainers”. I suggest having this discussion as early as possible, so that we can reap potential benefits during the remainder of the workshop, and so that there is the possibility of live apprenticeship.

Rob Lewis (Jan 05 2019 at 11:30):

It will be easy enough to shift these discussions around later. We can talk on Monday.

Kevin Buzzard (Jan 05 2019 at 11:50):

Which organisation would fund post docs whose job it was to help maintain mathlib? Would MS?

Kevin Buzzard (Jan 05 2019 at 11:51):

Because of this issue I've been enquiring around potential sources of funding in the UK but no luck yet

Mario Carneiro (Jan 05 2019 at 11:51):

currently no one does, I volunteered because I have strange tastes

Last updated: Dec 20 2023 at 11:08 UTC