commit: 5df2e925d8b2f9c896146c6c9cbf04f366b85bc5

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 22 13:39:30 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 22 13:41:40 2025 -0800
tree: c7a1a00a3f8c63048e65a8d3dff29df124d08f55
parent: a5fcd2c72b3f9a5d9c755c0e6305489f748bcc56 [diff]

chore: update tag

3 files changed

tree: c7a1a00a3f8c63048e65a8d3dff29df124d08f55

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