Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
mathlib-tools

Development tools for Lean's mathlib

https://github.com/leanprover-community/mathlib-tools

There are no pull requests

You think something is missing here?
Start with filling a new pull requests.

If you also like to help the Gentoo project, you can consider sending a Pull Request via GitHub.
Before doing so, you might want to take a look at the wiki page.