commit: c7a8c9b843cfe24dfa16e877e0a4a21a11a10783

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

Mon May 06 18:34:41 2024 -0700
committer: Scott Morrison <scott.morrison@gmail.com>

Tue May 07 12:53:17 2024 +1000
tree: fbba23bdc65a9ba40ef6e6aed1fadd6d3b3c0e73
parent: b1bedbe0d2ba1dd3c654154897013e0399f5a53c [diff]

perf: issue at `binop%` and `binrel%` elaborators

This issue was affecting several Mathlib files.

src/Lean/Elab/Extra.lean[diff]
tests/lean/run/binop_binrel_perf_issue.lean[Added - diff]

2 files changed

tree: fbba23bdc65a9ba40ef6e6aed1fadd6d3b3c0e73

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).