commit: e2058f466616bf112bc419ff325bef6097bb38b7

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Thu Aug 14 14:27:47 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Thu Aug 14 14:32:40 2025 +0200
tree: 692027f2989bd24e8e0e476bdf2174a8bde27cf3
parent: a9b64f3b790761feaaecdc2e70f0252cf2808e2e [diff]

Cache in env extension

2 files changed

tree: 692027f2989bd24e8e0e476bdf2174a8bde27cf3

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.