commit: e0886b18d661716f9237f138a4c14d4eada94d7a

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

Wed Jun 05 18:13:46 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jun 05 18:13:46 2024 -0700
tree: 496c4d0db2593116837f9d9c4965994377ec16bf
parent: 9d4696123693b2f0deee658b8021236e5168b4de [diff]

fix: `variable` must execute pending tactics and elaboration problems

closes #2226
closes #3214

3 files changed

tree: 496c4d0db2593116837f9d9c4965994377ec16bf

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).