commit: 98c4424ba032190392cccc7eb599aed09c68df7b

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

Tue Jul 09 18:16:22 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 09 18:16:49 2024 -0700
tree: 5944176b1dd549892a48971857322d3d012e982a
parent: 57b8b32c72b586ec062a200973192d8f8f2997c0 [diff]

fix: `decide` tactic transparency

closes #4644

src/Lean/Elab/Tactic/ElabTerm.lean[diff]
tests/lean/run/4644.lean[Added - diff]

2 files changed

tree: 5944176b1dd549892a48971857322d3d012e982a

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 (documentation source: doc/make/index.md).