Skip to main content
TOOLCHAIN
logicaffeine_
cli
0.11.0
In logicaffeine_
cli::
interface::
lean::
intake
logicaffeine_cli
::
interface
::
lean
::
intake
Constant
TOOLCHAIN
Copy item path
Source
pub const TOOLCHAIN: &'static
str
;
Expand description
The elan toolchain name of the pinned Lean.