Skip to main content

TOOLCHAIN

logicaffeine_kernel::interface::lean::intake

Constant TOOLCHAIN 

Source 
pub const TOOLCHAIN: &str = "leanprover/lean4:v4.14.0";
Expand description

The elan toolchain name of the pinned Lean.