commit: 24faa312d1d0e7996e754a134503a8391cc292b1

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

Sat Aug 15 23:55:58 2026 -0500
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Aug 15 23:55:58 2026 -0500
tree: 66b5abaca9f2fbae338042448bfd33762cc0f0ed
parent: c4350b8ca1f01c5ec16888fa861c3f5bf8ef8e86 [diff]

perf: avoid inferType at `MarkNestedSubsingletons.lean`

3 files changed

tree: 66b5abaca9f2fbae338042448bfd33762cc0f0ed

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.