commit: 2158c9e96f6f33fb0d263e0fa16413b359f7e935

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

Sat Mar 02 16:13:30 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Mar 02 16:15:02 2024 -0800
tree: c7724f0b178f0a76ef1bca7c9ff0e635beee48d7
parent: 870de4322ceb7de5a3d9372f98d0d0af30446d4c [diff]

fix: `generalize` excessive resource usage

closes #3524

src/Lean/Meta/Tactic/Generalize.lean[diff]
tests/lean/run/3524.lean[Added - diff]

2 files changed

tree: c7724f0b178f0a76ef1bca7c9ff0e635beee48d7

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.