commit: 697600fd3adc1c0e345472ebeb445e1486de4105

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

Fri Nov 06 19:48:56 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Nov 06 20:03:42 2026 +0000
tree: 20f3cb67ddf9209bb636d3e8ccdfec8fb5540031
parent: 742dd6d9be9633fb5fa7ecec600246102268aa9d [diff]

feat: select a toolchain-scoped shared Lake cache with private fallback

10 files changed

tree: 20f3cb67ddf9209bb636d3e8ccdfec8fb5540031

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.