16. Elan🔗

Planned Content

This section will describe Elan and how to use it:

  • lean-toolchain files

  • +-syntax for toolchain selection

  • Specific overrides

  • Using a local development build of Lean with Elan

Tracked at issue #74