commit: 0522c6a80a222664f5a992474ec36125a933c32c

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Sat Jul 04 10:33:05 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Sat Jul 04 10:33:05 2026 -0300
tree: a22a71f2f13dbf36a0300c235bec4c7f6101d22d
parent: d2c44d52d4f1127ebe1b7805f304eb2f7eacfdcb [diff]

fix: configure + mk

7 files changed

tree: a22a71f2f13dbf36a0300c235bec4c7f6101d22d

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.