commit: 7d842dce23d3e7ad7e8415291faa68d7df187b7d

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

Wed Jan 08 09:40:35 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 08 09:40:35 2025 -0800
tree: bc2f759475728a658179d2ff611da23c66471044
parent: 3f1cd54278b79eb76f40b5ce466661d5b3852ab6 [diff]

feat: add `propagateForallPropDown`

3 files changed

tree: bc2f759475728a658179d2ff611da23c66471044

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