commit: e12d2266cbbe27effbbb957a729e732bb368c139

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

Tue Jul 28 08:49:37 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 28 08:49:37 2026 +0000
tree: 9cb93bb880eca8eae2e3bf5566acc3fca21b867f
parent: dc51ebfaf2e7737d83333a4a257ffe10f7d123fe [diff]

chore: improve fix

Check using environment not containing auxiliary declarations.

src/kernel/inductive.cpp[diff]

1 file changed

tree: 9cb93bb880eca8eae2e3bf5566acc3fca21b867f

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.