- 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.
- Anyone know what kinds of jobs might use lean? Or jobs that are in a related space?