commit: 476412c86c443a89e49ca2c074ebf74381b6316f

[log]
author: Kim Morrison <kim@tqft.net>

Thu Feb 06 13:45:07 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Feb 06 13:45:07 2025 +1100
tree: 9f1d39da4dfbd1c929c6ef0eadbf80d12f885cf6
parent: d7d56883d4b81047ab47cf28a8ba967ef5d1596d [diff]

feat: #info_trees in command

src/Lean/Elab/InfoTrees.lean[Added - diff]
tests/lean/run/info_trees.lean[Added - diff]

2 files changed

tree: 9f1d39da4dfbd1c929c6ef0eadbf80d12f885cf6

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