commit: f6e1b15951b7cb51d3a82ae7a0b057268e698f3b

[log]
author: Sebastian Graf <sgraf1337@gmail.com>

Sun Aug 10 21:24:46 2025 +0200
committer: Sebastian Graf <sgraf1337@gmail.com>

Sun Aug 10 21:24:58 2025 +0200
tree: c0f0a45b6c77452e2d88720fa1aa6fccd9c63512
parent: a041ffa702b0ce243f4ef08d4a408dcb48ebdc4a [diff]

feat: Add delaborator for `Std.Range`

src/Lean/PrettyPrinter/Delaborator/Builtins.lean[diff]

1 file changed

tree: c0f0a45b6c77452e2d88720fa1aa6fccd9c63512

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.