commit: 9ee8e0c8966f8f65f3f004d4f84b926f41094cc4

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

Wed Jul 09 20:29:22 2025 -0700
committer: GitHub <noreply@github.com>

Thu Jul 10 03:29:22 2025 +0000
tree: 3c03d7fc2941528cead5e99240122b8d4d937287
parent: 62dc8d64fa12e112827e4a29c3433e6d784bfbea [diff]

chore: remove outdated comment (#9294)

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

1 file changed

tree: 3c03d7fc2941528cead5e99240122b8d4d937287

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.