#eval"4.8.0-rc2" Lean.versionString: StringLean.versionString #eval"4.8.0" Lean.versionStringCore: StringLean.versionStringCore #eval"leanprover/lean4:4.8.0-rc2" Lean.toolchain: StringLean.toolchain #eval"leanprover/lean4" Lean.origin: StringLean.origin #eval"873ef2d894af80d8fc672e35f7e28bae314a1f6f" Lean.githash: StringLean.githash
"4.8.0-rc2"
Lean.versionString: String
"4.8.0"
Lean.versionStringCore: String
"leanprover/lean4:4.8.0-rc2"
Lean.toolchain: String
"leanprover/lean4"
Lean.origin: String
"873ef2d894af80d8fc672e35f7e28bae314a1f6f"
Lean.githash: String