commit: d1c2d0bd9c94c2748b3016ba855c8b2d586d248c

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

Sun Dec 17 18:10:55 2023 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Dec 17 18:20:27 2023 -0800
tree: 4f378c0570241b5e77aced0b048ba1d79833ad7a
parent: 8475ec7e362f3f80809973fcdda410388f72b42b [diff]

refactor: generalize some `simp` methods

We are going to reuse these methods to implement a symbolic/partial evaluator.

3 files changed

tree: 4f378c0570241b5e77aced0b048ba1d79833ad7a

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.