commit: 857d83b9a8f3d15700f6f6659eb1d735dcd91140

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Fri Jul 04 21:21:34 2025 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Jul 04 21:22:04 2025 +0200
tree: 8f9481fc8f6a4f0dbc98c6a81780ae5aa068c4f9
parent: f85445713f239f222daf8f3820b508325d3018b1 [diff]

fix: `coinductive_fixpooint` under the module system

src/Lean/Elab/PreDefinition/PartialFixpoint/Main.lean[diff]

1 file changed

tree: 8f9481fc8f6a4f0dbc98c6a81780ae5aa068c4f9

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.