commit: aa2c68d9c63e016168c49aa35dd0fa6a7489d1ad

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

Sun Sep 27 15:18:02 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Oct 15 09:52:10 2026 -0300
tree: 4e27a13923dbb6d3d6373823f36e67fb8fe9f7ca
parent: d984e20279aee7528916af6b18d453245a6d2847 [diff]

fix: bugs and simplifications

9 files changed

tree: 4e27a13923dbb6d3d6373823f36e67fb8fe9f7ca

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.