commit: 0dc629ae8e69f62f5b89368a060e699191dac521

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

Wed Aug 06 21:02:01 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 06 21:02:01 2025 -0700
tree: e5c087cf5a8b174aec89aaa6f8bf567ce1dd586b
parent: fb20a3fb0858e1c56eabafb28666ac5dbbf01e36 [diff]

fix: disable buggy optimization

src/Lean/Meta/Tactic/Grind/Simp.lean[diff]

1 file changed

tree: e5c087cf5a8b174aec89aaa6f8bf567ce1dd586b

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.