commit: 2273527a41fe6f5456ba125149021bfbbf8cc9f3

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

Fri Dec 27 15:36:19 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 27 15:36:19 2024 -0800
tree: 2552111b0b750277b1bfd04903df332dfde5c03c
parent: 82a70b187f2b390fb048e86ce722992c1259669a [diff]

feat: add `propagateProjEq`

3 files changed

tree: 2552111b0b750277b1bfd04903df332dfde5c03c

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