commit: 158f078c99faec25213e6f4cfeb3bbbc1f60d440

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

Wed Mar 26 16:22:04 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 26 16:22:04 2025 -0700
tree: e222664f8135778e899075bc09fa81a6d48abdf6
parent: 8e142fcfc0fe334fa25ed4056d27cf815d7aeee7 [diff]

chore: add deprecated function

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

1 file changed

tree: e222664f8135778e899075bc09fa81a6d48abdf6

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 (documentation source: doc/make/index.md).