Further mathlib maintainers

Stream: Lean Together 2019

[Johan Commelin]

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]

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

[Kevin Buzzard]

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

[Kevin Buzzard]

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

[Mario Carneiro]

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