commit: f2e438e44dd083b9866b62008ff9e9e6150cd1c2

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

Mon Apr 22 13:52:46 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 22 13:52:46 2024 -0700
tree: fcb7d9f77db180847ed17f64883005a36ee7c12d
parent: d95e74182413627ec88395f36d31f47ce4c189ad [diff]

fix: `simp` caching

closes #3943

TODO: remove `cache` field from `Simp.Result`.

3 files changed

tree: fcb7d9f77db180847ed17f64883005a36ee7c12d

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.