commit: 94f60998206cc013e1bdfb4285e5cfffb9e302d9

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

Fri Jan 02 11:05:50 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 02 11:05:50 2026 -0800
tree: bf771cf25a8053db23fc3ffc910b3c71c76d13ec
parent: 7680733e779b456a0fd9e51e74cf242823396fe5 [diff]

refactor: move main implementation to `DiscrTree/Main`

src/Lean/Meta/DiscrTree.lean[diff]
src/Lean/Meta/DiscrTree/Main.lean[Added - diff]

2 files changed

tree: bf771cf25a8053db23fc3ffc910b3c71c76d13ec

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.