commit: 251ec38d60eaf71ec791b62f58af3c0ad5170ee8

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

Sat Jul 05 21:04:39 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jul 05 21:04:39 2025 -0700
tree: 8a3e076e9b606b942b9d10a6c396e4642739c929
parent: 15586e28a87de998b72a034ec67c9ff9fbe1e860 [diff]

perf: restore cache at `withoutModifyingMCtx`

instead of resetting it.

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

1 file changed

tree: 8a3e076e9b606b942b9d10a6c396e4642739c929

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.