commit: cd53b7a62eb0c4ad6283c20f69f166c937f2efbd

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

Tue Mar 05 13:06:02 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Tue Mar 05 13:06:02 2024 -0800
tree: 6ee328c0daca0e30bcde85638b9557a9193864e5
parent: f986f69a32c6167d772a50b0e7f3078dc104ee24 [diff]

fix: Use partial cache

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

1 file changed

tree: 6ee328c0daca0e30bcde85638b9557a9193864e5

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.