commit: b7e28c5fe26b18d56a705dbe8fb23d81d98390e7

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

Sun Feb 16 14:00:59 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Feb 16 14:03:50 2025 -0800
tree: 0623f482cffef3bcb4cb4c2e7ed717e41547c7a4
parent: db94e48bac26a132639cce6773ea70f5c9504e79 [diff]

feat: mark `EqMatch` as reducible

but, we do not unfold it at `unfoldReducible`

2 files changed

tree: 0623f482cffef3bcb4cb4c2e7ed717e41547c7a4

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