commit: 128303c052d3bba6c2b358a081a0a2ec9cd65958

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

Mon Feb 19 10:50:38 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 19 10:52:43 2024 -0800
tree: 8a64f0fd2a7fa273bc501cb74d2984999a6deb35
parent: e2b3b34d14879ce02a6acf1c8599d06f64258177 [diff]

feat: assume function application arguments occurring in local simp theorems have been annotated with `no_index`

closes #2670

6 files changed

tree: 8a64f0fd2a7fa273bc501cb74d2984999a6deb35

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.