We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Using mathlib4 as a dependency (markdown)
remove `lake exe cache get`
make the curl command compatible with windows (only tested that it still works on linux)
Clarify instructions.
Moving content out of the README