#eval"4.9.0-rc1" Lean.versionString: StringLean.versionString #eval"4.9.0" Lean.versionStringCore: StringLean.versionStringCore #eval"leanprover/lean4:4.9.0-rc1" Lean.toolchain: StringLean.toolchain #eval"leanprover/lean4" Lean.origin: StringLean.origin #eval"be6c4894e0a6c542d56a6f4bb1238087267d21a0" Lean.githash: StringLean.githash
"4.9.0-rc1"
Lean.versionString: String
"4.9.0"
Lean.versionStringCore: String
"leanprover/lean4:4.9.0-rc1"
Lean.toolchain: String
"leanprover/lean4"
Lean.origin: String
"be6c4894e0a6c542d56a6f4bb1238087267d21a0"
Lean.githash: String