commit: db414957a0402da9cd44773d37186b1c9220d359

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Sun Jun 15 16:03:52 2025 -0700
committer: GitHub <noreply@github.com>

Sun Jun 15 23:03:52 2025 +0000
tree: f7bda5f666238ba355088c4c7eb358b6b530aeae
parent: 114fa440f031e8c2928fc2fb84b34ca891fada1c [diff]

chore: fix if/else indentation (#8803)

src/Lean/Compiler/LCNF/FloatLetIn.lean[diff]

1 file changed

tree: f7bda5f666238ba355088c4c7eb358b6b530aeae

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.