commit: afe0b5a01326a99fb18049d29d7f62a5ffc83c15

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

Tue Jul 30 20:35:45 2024 +0200
committer: GitHub <noreply@github.com>

Tue Jul 30 18:35:45 2024 +0000
tree: 0c043480e876fa177622cbf9e7fb06c995c02c84
parent: 90dab5e267b14e38f3fa9193cb57c99c8447d8b0 [diff]

perf: precise cache for `foldConsts` (#4871)

It addresses a performance issue at
https://github.com/leanprover/LNSym/blob/proof_size_expt/Proofs/SHA512/Experiments/Sym20.lean

2 files changed

tree: 0c043480e876fa177622cbf9e7fb06c995c02c84

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 (documentation source: doc/make/index.md).