New comment by ram02z on void-packages repository

https://github.com/void-linux/void-packages/pull/35907#issuecomment-1061688653

Comment:
>  Apparently I need more stuff, like `leanproject` to install mathlib, etc.

I have packaged mathlib-tools (https://github.com/void-linux/void-packages/pull/33587). It contains leanproject, which will update mathlib per project.