commit: 66799f190e8a9bed6a4a56580af3baadede6703c

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

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

Sun Dec 17 18:24:47 2023 -0800
tree: a457d14c20ca526582d9e63a80f584ee81ffc9bb
parent: d1c2d0bd9c94c2748b3016ba855c8b2d586d248c [diff]

feat: `seval` tactic skeleton

src/Init/Tactics.lean[diff]
src/Lean/Elab/Tactic.lean[diff]
src/Lean/Elab/Tactic/SEval.lean[Added - diff]
src/Lean/Meta/Tactic.lean[diff]
src/Lean/Meta/Tactic/SymEval.lean[Added - diff]
src/Lean/Meta/Tactic/SymEval/Main.lean[Added - diff]
src/Lean/Meta/Tactic/SymEval/Types.lean[Added - diff]

7 files changed

tree: a457d14c20ca526582d9e63a80f584ee81ffc9bb

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.