commit: 0baebc914fe0177843b925d0c68504959dea4d88

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 12 14:56:25 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Feb 12 14:56:25 2024 +1100
tree: 57d63d44a15a357f004bda6837a05361db888529
parent: 428f860890efdbe3f28cbbf62dbfb4423c0fae05 [diff]

use local instance

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

1 file changed

tree: 57d63d44a15a357f004bda6837a05361db888529

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.