Lean theorem prover mathlib (github.com)

Anyone know what kinds of jobs might use lean? Or jobs that are in a related space?

I see a lot of maintainers specialized in topology and category theory, but non in graph theory. I wonder if this is also reflected in the areas that are covered by the library.