commit: be63722954169491f6f07e488db7274064d9fab7

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

Thu Jul 30 07:45:25 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Thu Jul 30 07:45:25 2026 -0300
tree: 061ea74405547e211e4d52b8b31dee0bcf0d4201
parent: bf4dc0e626c181c8c038735068d7507d55f22b74 [diff]

feat: add missing parts

2 files changed

tree: 061ea74405547e211e4d52b8b31dee0bcf0d4201

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.