commit: 0bb60c774e197b403bf99ed26bcab15df9b66867

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

Sun Oct 29 11:22:00 2023 -0700
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Oct 30 12:00:26 2023 +1100
tree: eb9a658fb7716fe9337c45300e27b4a14f79f95b
parent: f76a17b33f85d714ea33d37e8975a02382abb28c [diff]

fix: fixes #2178

src/Lean/Elab/Structure.lean[diff]
tests/lean/2178.lean[Added - diff]
tests/lean/2178.lean.expected.out[Added - diff]

3 files changed

tree: eb9a658fb7716fe9337c45300e27b4a14f79f95b

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.