commit: 54c366f3d7a555a9a89476c40cb5ccca18b86e05

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Tue Jun 04 11:08:03 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Jun 04 11:10:44 2024 +0200
tree: f015019a9a62c526bdce0e78ac260f0c34cf001a
parent: 81f5b07215b077f9b5be677f8689617512d3322c [diff]

fix: incorrect info tree reuse

8 files changed

tree: f015019a9a62c526bdce0e78ac260f0c34cf001a

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 (documentation source: doc/make/index.md).