commit: 46c2455978c98dca8c30986d036dd8921098de60

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 08 16:18:51 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 08 16:18:51 2024 +1100
tree: 9844506a73fb99b6e396122fd58a1f25838ca1ed
parent: 92ca504903cc743467b80c91897f725f8e5d30b5 [diff]

feat: allow overriding getSimpTheorems in mkSimpContext

src/Lean/Elab/Tactic/Simp.lean[diff]

1 file changed

tree: 9844506a73fb99b6e396122fd58a1f25838ca1ed

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.