commit: 3630538cccfd6201c1a372d0cb7c841b848783eb

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

Mon Aug 04 02:23:36 2025 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 04 02:23:36 2025 +0200
tree: cfb3aba7811f828b783a068dc751d9fd9589d42e
parent: a4d87091b9d84862c2409fa76d721d47496ea500 [diff]

perf: precompute coeffs at eq_eq_subst

2 files changed

tree: cfb3aba7811f828b783a068dc751d9fd9589d42e

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.