commit: 239e3e22707259365747f5344e3a333ddd04f7c7

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

Fri Nov 06 20:46:36 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Nov 06 20:46:36 2026 +0000
tree: bfe0abeb48325a246d6dd51c1c55a3764e3c3c42
parent: c733ac7005a9d9dfa914c6d0f904e6e8ee532a85 [diff]

fix: keep cache writes outside restoration recovery

3 files changed

tree: bfe0abeb48325a246d6dd51c1c55a3764e3c3c42

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.