commit: 5105578ba1c5e64f212978b3f87c293ecfb7f52d

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

Wed Feb 28 09:50:02 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Feb 28 13:30:10 2024 -0800
tree: 512dd22acf3c1916a194ffbd9b7a9ffd910c9a27
parent: fa058ed2286460e6b7b6ab8aebbac76ec7741dc1 [diff]

fix: `get_elem_tactic_trivial` regression

src/Init/Tactics.lean[diff]
tests/lean/run/rwRegression.lean[Added - diff]

2 files changed

tree: 512dd22acf3c1916a194ffbd9b7a9ffd910c9a27

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.