Constant SUPPORTED_TOOLCHAINS 

pub const SUPPORTED_TOOLCHAINS: &'static [SupportedToolchain];

The supported Lean toolchain window.

Ordered by the first versions entry. To add a new toolchain, follow the checklist in docs/bump-toolchain.md.