commit: 34ad7e659385088564d41fd6ee2ccfa26911f6fa

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

Mon Feb 12 15:52:49 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 12 15:52:49 2024 -0800
tree: 7f6d45723906263691b2d35d2436f5ae8032fff3
parent: fbedb79b4694ef86162694b1b1b8c489ecbd71ac [diff]

fix: simp gets stuck on autoParam

closes #2862

7 files changed

tree: 7f6d45723906263691b2d35d2436f5ae8032fff3

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.