commit: a9b64f3b790761feaaecdc2e70f0252cf2808e2e

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Aug 13 23:02:38 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Wed Aug 13 23:02:38 2025 +0200
tree: d4150a715ba2ee789bd905f3eaa4b9a0145fdfb4
parent: 1ba13099534651f50f14609b57103636364b46ed [diff]

More permissive

src/Lean/Elab/MutualInductive.lean[diff]
tests/lean/run/nestedInductivePositivity.lean[Renamed from tests/lean/run/nonPositiveInd.lean - diff]

2 files changed

tree: d4150a715ba2ee789bd905f3eaa4b9a0145fdfb4

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.