2. Guides🔗

This chapter contains informal guides. Note that these are not the official recommendations by Lean or Mathlib. Rather, they are notes by users.

If they don't work please ask on Zulip or contribute improvements to the guides here.

1. 2.1. Shared Mathlib Installation
2. 2.2. Follow Stable Dependencies
3. 2.3. Using local dev version of a dependency