commit: cd50e67be9c71ecec7bee7f175b5d1c97fed620c

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat May 24 09:42:55 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat May 24 09:42:55 2025 -0700
tree: e8711ef5cd96f6cabf58354b418c5ba2a0404e4d
parent: 2b0b1e013f2c31551d84a7deedc430446a009de0 [diff]

fix: `preprocessLight` at `ensureInternalized`

2 files changed

tree: e8711ef5cd96f6cabf58354b418c5ba2a0404e4d

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.