commit: 1116ba240c2ad937879531b1081b362e8a9a4a76

[log]
author: Kim Morrison <kim@tqft.net>

Mon Nov 17 23:31:38 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Nov 17 23:31:38 2025 +1100
tree: 98bd6b94cec2ab7ba6f650f5150a19d624b6fd65
parent: 0b9aac20e62e5dbc53142ebf27d36e79228c70b4 [diff]

chore: fix #11209

src/lake/Lake/Build/Common.lean[diff]

1 file changed

tree: 98bd6b94cec2ab7ba6f650f5150a19d624b6fd65

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.