commit: 527d6b31f5506e32ac0f5c4c63f3fc1b023b2b88

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

Tue Dec 24 12:49:34 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 24 12:49:34 2024 -0800
tree: 01add719817b13cd229770eafc8f73c5cbea3652
parent: ad88b92cebacbf3052ac25c44e3b8d0d65eb9197 [diff]

feat: propagate connectives at `addEqStep`

3 files changed

tree: 01add719817b13cd229770eafc8f73c5cbea3652

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