commit: 7b96f6784fc3b6bc48b5bfbb195b24920e905b8b

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

Fri Jan 17 10:43:10 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 17 11:50:41 2025 -0800
tree: 5a7a36060e5cc3ad554641865e37d2f86cb705d8
parent: e3fd954318fb23038455e27a193cd63d8dad432d [diff]

refactor: move `ext` environment extension to `Lean.Meta.Tactic`

src/Lean/Elab/Tactic/Ext.lean[diff]
src/Lean/Meta/Tactic.lean[diff]
src/Lean/Meta/Tactic/Ext.lean[Added - diff]

3 files changed

tree: 5a7a36060e5cc3ad554641865e37d2f86cb705d8

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).