commit: 4caa2f42b281bb44120a0fa84c2437d61ae95760

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

Wed Dec 27 14:43:37 2023 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 29 16:15:08 2023 -0800
tree: a121c6708ab7aea08ea04a52ed51771b63032726
parent: 68f47e4e4534b344e538ad99ceb3c31d4bfa5dfc [diff]

refactor: simplify `simpImpl`

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

1 file changed

tree: a121c6708ab7aea08ea04a52ed51771b63032726

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.