12. Elan

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