- To install mathlib, you must first install {{AUR|python-mathlibtools}}, which will install 'leanproject'. {{Note|{{AUR|python-mathlibtools}} will not install mathlib, just the tools needed to download mathlib.}} ...12 KB (1,785 words) - 17:00, 28 May 2026
Retrieved from "https://wiki.archlinux.org/title/Special:Search"