commit: 73bc2a9c6cc5c5e9caaaa2568ff2ba1569f699fc

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

Wed Mar 06 13:35:21 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 06 13:35:21 2024 -0800
tree: 46e9f509cc8896b1283fe59ad6c9b797ac6e1879
parent: 878af0d16e6fe13eec310b54949bbb5d5b0f901a [diff]

doc: for issue #2835

src/Lean/Meta/DiscrTree.lean[diff]

1 file changed

tree: 46e9f509cc8896b1283fe59ad6c9b797ac6e1879

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.