commit: a6c6b7a7cdd63f6228953741e1ba8c93c48bc487

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

Fri Jun 05 14:55:42 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Jun 05 14:55:42 2026 -0300
tree: 695256f07a5dda90a206a71051ed3c2cdd8394ee
parent: eeea3f1e9dbaaf0f0452b46f564bf6ec93169fc8 [diff]

fix: small issues

6 files changed

tree: 695256f07a5dda90a206a71051ed3c2cdd8394ee

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.