pub const LEAN_TOOLCHAIN: &str = "leanprover/lean4:v4.31.0";
Lean toolchain written to generated lean-toolchain files.
lean-toolchain