commit: 28a6d080ed33636257051f7a03b0c10ae7a1b62f

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

Wed Sep 02 18:23:55 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Sep 02 18:23:55 2026 -0300
tree: efad2b2622f9e48e3c0dab3846552e93fc6bd973
parent: 5eaf0ad2874eb278cff9561c1cbcef2b8b40fb6f [diff]

refactor: simplify want_read

6 files changed

tree: efad2b2622f9e48e3c0dab3846552e93fc6bd973

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.