commit: 7449bf454006d83f1594b24c5a6fbab4e5fd1fa2

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

Wed May 01 11:08:21 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed May 01 11:11:13 2024 -0700
tree: 2aafd65cfea1289e4b4f31a1ca01fe0e8b6d776a
parent: d9ea0925853818660ff4869ef11bcacfaec9b7d7 [diff]

perf: improve `simp` cache behavior for well-behaved dischargers

See comment at `Methods.wellBehavedDischarge`.
The default discharger is now well-behaved.

6 files changed

tree: 2aafd65cfea1289e4b4f31a1ca01fe0e8b6d776a

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.