commit: c390f49189e404c46a83e4e8a953280220f5685b

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

Mon Oct 05 12:41:59 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Mon Oct 05 12:41:59 2026 -0300
tree: 8d3b7663954d3649f4445be9b8c302b0f9395f56
parent: 337c1c9af9f899d28202a8331681e3f5675e9f42 [diff]

fix: fname == nullptr and comments

5 files changed

tree: 8d3b7663954d3649f4445be9b8c302b0f9395f56

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.