commit: 86501bd3b12d195913d4a7887e56f3df0ed0f682

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

Mon Feb 17 17:18:32 2025 +0100
committer: Joachim Breitner <mail@joachim-breitner.de>

Mon Feb 17 17:26:34 2025 +0100
tree: d22b52050b6d583073083b39b9d4a413b6040252
parent: 4f4c9619c8edbe6879bdde94254aaca200bf9975 [diff]

chore: update code after #7110

2 files changed

tree: d22b52050b6d583073083b39b9d4a413b6040252

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).