commit: 7cd1f9407c15ca66f568910ff004aee88ba6d3c1

[log]
author: Eric Wieser <efw@google.com>

Mon Jun 30 19:37:45 2025 +0100
committer: GitHub <noreply@github.com>

Mon Jun 30 19:37:45 2025 +0100
tree: 6052cdeb22f7df38d89071255e50d4a3fae6a805
parent: 6741444a63eec253a7eae7a83f1beb3de015023d [diff]

fix: correct isModule in `lean --deps-json`

This PR backports a fix to `lean --deps-json` incorrectly reporting `isModule`

src/Lean/Elab/ParseImportsFast.lean[diff]

1 file changed

tree: 6052cdeb22f7df38d89071255e50d4a3fae6a805

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.