We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
To use the mathlib, run leanpkg configure in the Terminal.
leanpkg configure