commit: fb8d60eeaf8a6a7d8ee286460d3ce48517f30794

[log]
author: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 00:12:52 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 00:12:52 2024 -0800
tree: b7fed22d219665fdd6eaf6a49419ff55e8ac73f2
parent: 8bde8b9d87eef1eaf5f90a2116b6ebca0d69c6f0 [diff]

chore: remove cache

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

1 file changed

tree: b7fed22d219665fdd6eaf6a49419ff55e8ac73f2

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.