commit: fbac0d2ddb9e6883a41a97bf44f20f753f6b24ce

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

Sun May 18 18:33:47 2025 -0700
committer: GitHub <noreply@github.com>

Mon May 19 01:33:47 2025 +0000
tree: 9cd2d546a254ca375f0003f9651beeadaf4a95d6
parent: e7b8df0c0e1e2104c9f65057348c21ad7e240889 [diff]

chore: use LitValue.toExpr instead of duplicating its definition (#8398)

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

1 file changed

tree: 9cd2d546a254ca375f0003f9651beeadaf4a95d6

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.